Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: state-separating-proofs

SSProve/ssprove

A foundational framework for modular cryptographic proofs in Coq

Language: Coq - Size: 3.26 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 64 - Forks: 13

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