SSProve

SSProve

Geek Repo

Github PK Tool:Github PK Tool

SSProve's repositories

ssprove

A foundational framework for modular cryptographic proofs in Coq

Language:CoqLicense:MITStargazers:55Issues:8Issues:6