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