SSProve
MITRocq Proverv0.3.1
A foundational framework for modular cryptographic proofs in the Coq proof assistant, enabling state-separating proofs.
88 stars18 forks0 contributors
Overview
A foundational framework for modular cryptographic proofs in Coq
Related Projects
VerdiA framework for formally verifying distributed systems implementations in Coq
Stars627
Forks58
Last commit5 months ago
FiatMostly Automated Synthesis of Correct-by-Construction Programs
Stars160
Forks34
Last commit1 month ago
ConCertA framework for smart contract verification in Coq
Stars127
Forks23
Last commit24 days ago
Hoare Type TheoryHoare Type Theory
Stars88
Forks6
Last commit4 months ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.