coq-community/awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
[view on github]last commit: Nov 5, 2025
stars
388
7d
-
30d
+4
90d
+12
## star history
## found in
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]