Skip to content

Companion to CSF paper "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq"

Pre-release
Pre-release
Compare
Choose a tag to compare
@TheoWinterhalter TheoWinterhalter released this 21 May 18:08
· 160 commits to main since this release
csf-paper
57de05b 
csf-paper

Update README
Assets 2
Loading