"isabelle" Awesome Lists
awesome-provable
A curated set of links to formal methods involving provable code.
agda certified-programming coq formal-verification idris isabelle isabelle-hol sel4
212 stars
10 forks
76 projects
Last updated: 13 Aug 2025