constructive-mathematics topic
List
constructive-mathematics repositories
awesome-rust-formalized-reasoning
279
Stars
9
Forks
Watchers
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
212
Stars
39
Forks
Watchers
Logical manifestations of topological concepts, and other things, via the univalent point of view.