Top Isabelle repos
languages / Isabelle / global1,056 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 41 | Tangle-Isabelle | 11 | prathamesh-t |
| 42 | isabelle-lambda-calculus | 10 | jvanbruegge |
| 43 | arwm | 10 | avigad |
| 44 | concrete-semantics-Sols | 10 | EduPH |
| 45 | echronos-proofs | 10 | echronos |
| 46 | Uniswap_v | 9 | xqyww123 |
| 47 | machine-certified-linearizability | 8 | uguryavuz |
| 48 | VDM_Toolkit | 8 | leouk |
| 49 | SSM-Construction | 8 | jabocken |
| 50 | IMO | 8 | filipmaric |