dandde / awesome-rust-formalized-reasoning Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 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.
License: MIT License