PrototypeCommune
uhub/awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
- Propriétaire
- uhub (organisation)
- Étoiles
- Étoiles : 236
- Forks
- Forks : 16
- Langage
- Sans langage
- Licence
- Aucune
- Création
- 2015
- Sujets
- awesomeawesome-listcoqcurated-listlistresourcesrocqtheorem-proving
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de uhub
Les 22 dépôts de uhub- uhub/awesome-cÉtoiles : 2 244RC
- uhub/awesome-goÉtoiles : 1 848Bêta
- uhub/awesome-matlabÉtoiles : 1 761Bêta
- uhub/awesome-cppÉtoiles : 1 201Bêta
- uhub/awesome-pythonÉtoiles : 1 199Bêta
- uhub/awesome-javascriptÉtoiles : 1 062Bêta