CMD + K
Sign In
Sign Up
conda-forge
/
coq
coq
Community
Coq is a formal proof management system
Overview
Files
19
Labels
2
Badges
2 items
Name
Latest Version
cf202003
8.11.0
main
8.12.2
