2 results found Sort:

newca12
awesome-rust-formalized-reasoning newca12
9
279
mit
13
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
rust logic prover reasoning theorem-prover dependent-types theorem-proving proof-assistants formal-verification constructive-mathematics automated-theorem-provers
Created 2021-04-10
252 commits to main branch, last one 11 days ago
martinescardo
TypeTopology martinescardo
40
216
gpl-3.0
15
Logical manifestations of topological concepts, and other things, via the univalent point of view.
agda ordinal type-theory compact-type injective-type searchable-set homotopy-type-theory univalent-foundations univalent-mathematics totally-separated-type constructive-mathematics
Created 2018-02-05
4,187 commits to master branch, last one 20 hours ago