2 results found Sort:

newca12
awesome-rust-formalized-reasoning newca12
11
301
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
274 commits to main branch, last one 7 days ago
martinescardo
TypeTopology martinescardo
41
236
gpl-3.0
16
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,631 commits to master branch, last one a day ago