Lean
languages / Lean1,061Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | leanprover | 10 | 2,607 |
| 2 |  | leanprover-community | 19 | 2,348 |
| 3 |  | ImperialCollegeLondon | 29 | 1,155 |
| 4 |  | uwdb | 1 | 625 |
| 5 |  | AndrasKovacs | 1 | 445 |
| 6 |  | dselsam | 9 | 406 |
| 7 |  | Kha | 10 | 335 |
| 8 |  | kbuzzard | 13 | 293 |
| 9 |  | lurk-lab | 23 | 187 |
| 10 |  | arthurpaulino | 7 | 167 |
2,339Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | lean4 | 2,299 | leanprover |
| 2 | mathlib | 1,517 | leanprover-community |
| 3 | Cosette | 625 | uwdb |
| 4 | smalltt | 445 | AndrasKovacs |
| 5 | certigrad | 384 | dselsam |
| 6 | electrolysis | 311 | Kha |
| 7 | formalising-mathematics | 271 | ImperialCollegeLondon |
| 8 | natural_number_game | 264 | ImperialCollegeLondon |
| 9 | xena | 217 | kbuzzard |
| 10 | mathlib4 | 215 | leanprover-community |