2 results found Sort:

newca12
awesome-rust-formalized-reasoning newca12
11
313
mit
14
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
281 commits to main branch, last one 2 days ago
martinescardo
TypeTopology martinescardo
42
239
gpl-3.0
18
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,661 commits to master branch, last one 12 hours ago