proxy.golang.org : github.com/ssprove/ssprove

A foundational framework for modular cryptographic proofs in Coq

Registry - Source - Documentation - JSON - codemeta.json
purl: pkg:golang/github.com/ssprove/ssprove
Keywords: coq-formalization , coq-library , cryptography , formal-verification , modular-cryptographic-proofs , state-separating-proofs
License: MIT
Latest release: 7 months ago
First release: over 1 year ago
Stars: 67 on GitHub
Forks: 14 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 14 days ago

• Readme
• Versions 6
• Dependent Packages 0
• Maintainers 0
• Related Packages 1