Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: state-separating-proofs
SSProve/ssprove
A foundational framework for modular cryptographic proofs in Coq
Language: Coq - Size: 2.88 MB - Last synced: 29 days ago - Pushed: about 2 months ago - Stars: 50 - Forks: 10