newca12awesome-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
Metadata
Source URL:: https://github.com/newca12/awesome-rust-formalized-reasoning
Topics:: #github, #rust, #formal-verification, #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. - newca12/aw...