Top Isabelle repos
languages / Isabelle / global1,089 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 51 | SSM-Construction | 9 | jabocken |
| 52 | IMO | 8 | filipmaric |
| 53 | cbc_casper | 8 | pirapira |
| 54 | slashing-proofs | 7 | michaelsproul |
| 55 | CSP-Prover | 7 | yoshinao-isobe |
| 56 | isabelle-range | 7 | Kuniwak |
| 57 | Isabelle_marries_Dirac | 7 | AnthonyBordg |
| 58 | isabelle | 7 | AlexeyAkhunov |
| 59 | isabelle-practice | 7 | rohitdureja |
| 60 | OMEGA | 7 | theoremprover-museum |