Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
https://github.com/uhub/awesome-coq
Last synced: 1 day ago
JSON representation