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
396
7d
-
30d
+1
90d
+5
## star history
## found in
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]