AlphaPeu commune
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.
- Propriétaire
- newca12 (compte personnel)
- Étoiles
- Étoiles : 400
- Forks
- Forks : 14
- Langage
- Sans langage
- Licence
- MIT
- Création
- 2021
- Sujets
- formal-verificationproverautomated-theorem-proverstheorem-proverreasoninglogicconstructive-mathematicsdependent-typestheorem-provingproof-assistants
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang