Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: modular-cryptographic-proofs

SSProve/ssprove

A foundational framework for modular cryptographic proofs in Coq

Language: Coq - Size: 2.88 MB - Last synced: 29 days ago - Pushed: about 2 months ago - Stars: 50 - Forks: 10

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