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