PrototypeCommon
uhub/awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
- Owner
- uhub (organization)
- Stars
- Stars: 236
- Forks
- Forks: 16
- Language
- No language
- License
- None
- Created
- 2015
- Topics
- awesomeawesome-listcoqcurated-listlistresourcesrocqtheorem-proving
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by uhub
All 22 repos by uhub- uhub/awesome-cStars: 2,244RC
- uhub/awesome-goStars: 1,848Beta
- uhub/awesome-matlabStars: 1,761Beta
- uhub/awesome-cppStars: 1,201Beta
- uhub/awesome-pythonStars: 1,199Beta
- uhub/awesome-javascriptStars: 1,062Beta