GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ proof-assistants
Top 1 proof-assistants open source projects
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.
✭ 185
logic
theorem-proving
formal-verification
prover
automated-theorem-provers
reasoning
theorem-prover
constructive-mathematics
proof-assistants
1-1
of
1
proof-assistants projects