Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
"coq" Awesome Lists
awesome-coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainers=@anton-trunov,@palmskog]
awesome awesome-list coq resources
291 stars
18 forks
207 projects
Last updated: 29 May 2024
awesome-provable
A curated set of links to formal methods involving provable code.
agda certified-programming coq formal-verification idris isabelle isabelle-hol sel4
193 stars
8 forks
76 projects
Last updated: 27 Sep 2024