Proofs vs Coq Intro

ProofsCoq Intro
Stars2785
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit3 months ago6 years ago
Total Releases
Latest Release
Open Issues1
Licenseother
Programming LanguageCoqCoq