Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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)
https://github.com/homotopy-io/homotopy-rs
A Rust/WASM implementation of homotopy.io
category-theory diagram diagrams higher-category-theory math mathematics maths proof-assistant proof-assistants rust string-diagram string-diagrams
Last synced: 22 May 2024
![](https://github.com/homotopy-io.png)