0 "coq" Awesome Lists
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
awesome awesome-list coq resources
388 stars
26 forks
215 projects
Last updated: 05 May 2026
awesome-provable
A curated set of links to formal methods involving provable code.
agda certified-programming coq formal-verification idris isabelle isabelle-hol sel4
221 stars
10 forks
76 projects
Last updated: 09 Apr 2026