AlphaUncommon
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.
- Owner
- newca12 (personal account)
- Stars
- Stars: 400
- Forks
- Forks: 14
- Language
- No language
- License
- MIT
- Created
- 2021
- Topics
- formal-verificationproverautomated-theorem-proverstheorem-proverreasoninglogicconstructive-mathematicsdependent-typestheorem-provingproof-assistants
- Tier
- Alpha (250 to 699 ★) What this tier means