SSProve / ssproveLinks

A foundational framework for modular cryptographic proofs in Coq
64Updated last week

Alternatives and similar repositories for ssprove

Users that are interested in ssprove are comparing it to the libraries listed below

Sorting: