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...