Ynot vs Advent Of Coq 2018

Advent Of Coq 2018Ynot
Stars13415
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit5 years ago10 years ago
Total Releases
Latest Release
Open Issues1
Licenseother
Programming LanguageCoqCoq