Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / 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.
Stars: 278
Forks: 9
Open Issues: 0
License: mit
Language:
Repo Size: 279 KB
Dependencies:
0
Created: about 3 years ago
Updated: 4 days ago
Last pushed: 4 days ago
Last synced: 4 days ago
Topics: automated-theorem-provers, constructive-mathematics, dependent-types, formal-verification, logic, proof-assistants, prover, reasoning, rust, theorem-prover, theorem-proving
Files
No dependencies found