Top Isabelle repos
languages / Isabelle / global1,117 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 61 | phi-system | 6 | xqyww123 |
| 62 | interaction-trees | 6 | isabelle-utp |
| 63 | cardano-ledger-high-assurance | 6 | input-output-hk |
| 64 | abstEVM | 6 | thomas-genet |
| 65 | ethereum-lem | 6 | mrsmkl |
| 66 | GaloisCVC4 | 6 | DeVilhena-Paulo |
| 67 | NBG_HOL | 6 | ioannad |
| 68 | Hybrid-Verification | 5 | isabelle-utp |
| 69 | Z_Toolkit | 5 | isabelle-utp |
| 70 | foundational_boogie | 5 | gauravpartha |