Lean
languages / Lean1,225Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | leanprover-community | 29 | 3,415 |
| 2 |  | ImperialCollegeLondon | 35 | 1,443 |
| 3 |  | uwdb | 1 | 642 |
| 4 |  | AndrasKovacs | 1 | 475 |
| 5 |  | dselsam | 9 | 406 |
| 6 |  | Kha | 9 | 346 |
| 7 |  | kbuzzard | 14 | 304 |
| 8 |  | blanchette | 5 | 186 |
| 9 |  | lecopivo | 5 | 179 |
| 10 |  | formalabstracts | 1 | 155 |
2,650Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | mathlib | 1,619 | leanprover-community |
| 2 | Cosette | 642 | uwdb |
| 3 | smalltt | 475 | AndrasKovacs |
| 4 | mathlib4 | 474 | leanprover-community |
| 5 | certigrad | 383 | dselsam |
| 6 | electrolysis | 320 | Kha |
| 7 | natural_number_game | 284 | ImperialCollegeLondon |
| 8 | formalising-mathematics | 283 | ImperialCollegeLondon |
| 9 | xena | 224 | kbuzzard |
| 10 | tutorials | 179 | leanprover-community |