constructive-mathematic Open-Source Projects
-
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
-
TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
I just wonder if there are any irl meetups of people involved with formalizing mathematics, I thought that it would be a cool hobby to pick up (with some background in math and programming) but the existing libraries, like MathLib, TypeTopology or UniMath look a bit intimidating...
Index
Project | Stars | |
---|---|---|
1 | awesome-rust-formalized-reasoning | 263 |
2 | TypeTopology | 211 |
Sponsored