Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by SSProve

A curated list of projects in awesome lists by SSProve .

https://github.com/SSProve/ssprove

A foundational framework for modular cryptographic proofs in Coq

coq-formalization coq-library cryptography formal-verification modular-cryptographic-proofs state-separating-proofs

Last synced: 04 Aug 2024