Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
agda compact-type constructive-mathematics homotopy-type-theory injective-type ordinal searchable-set totally-separated-type type-theory univalent-foundations univalent-mathematics
Last synced: 27 May 2024
![](https://github.com/martinescardo.png)
https://github.com/newca12/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover theorem-proving
Last synced: 26 May 2024
![](https://github.com/newca12.png)