Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
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/ssprove/ssprove
Keywords: coq-formalization, coq-library, cryptography, formal-verification, modular-cryptographic-proofs, state-separating-proofs
License: MIT
Latest release: 3 months ago
First release: 3 months ago
Stars: 48 on GitHub
Forks: 9 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 8 days ago
Loading...
Readme
Loading...