Repositories tagged with "proof-assistants"
awesome-rust-formalized-reasoning
newca12
โAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.โ
homotopy-rs
homotopy-io
โA Rust/WASM implementation of homotopy.ioโ
