Top 7.7% on proxy.golang.org
proxy.golang.org : github.com/SSProve/ssprove
A foundational framework for modular cryptographic proofs in Coq
Registry
-
Source
- Documentation
- JSON
purl: pkg:golang/github.com/%21s%21s%21prove/ssprove
Keywords:
coq-formalization
, coq-library
, cryptography
, formal-verification
, modular-cryptographic-proofs
, state-separating-proofs
License: MIT
Latest release: 5 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: 1 day ago
Loading...
Readme
Loading...