2 results found Sort:

newca12
awesome-rust-formalized-reasoning newca12
10
296
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
267 commits to main branch, last one 6 days ago
martinescardo
TypeTopology martinescardo
42
233
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,595 commits to master branch, last one 2 days ago