Top Lean repos
languages / Lean / global3,499 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | lean4 | 3,785 | leanprover |
| 2 | mathlib | 1,643 | leanprover-community |
| 3 | mathlib4 | 885 | leanprover-community |
| 4 | Cosette | 655 | uwdb |
| 5 | smalltt | 496 | AndrasKovacs |
| 6 | certigrad | 385 | dselsam |
| 7 | electrolysis | 324 | Kha |
| 8 | formalising-mathematics | 295 | ImperialCollegeLondon |
| 9 | natural_number_game | 290 | ImperialCollegeLondon |
| 10 | xena | 224 | kbuzzard |