Skip to content

Companion to journal version "SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq"
Compare
Choose a tag to compare
@TheoWinterhalter TheoWinterhalter released this 07 Apr 10:47
· 27 commits to main since this release
journal-version
586d6db
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode. 
Merge pull request #37 from 4ever2/update-deps

Support Coq 8.16 and 8.17
Assets 2
Loading