← All repos

newca12/awesome-rust-formalized-reasoning

View on GitHub ↗ ★ 403

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

3 mentions on Hacker News by 1 person: 1 story, 2 comments · first 2021-04-11 · latest 2022-06-17