Lean
languages / Lean1,628Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | leanprover | 19 | 4,383 |
| 2 |  | leanprover-community | 30 | 3,955 |
| 3 |  | ImperialCollegeLondon | 32 | 1,333 |
| 4 |  | uwdb | 1 | 654 |
| 5 |  | AndrasKovacs | 1 | 494 |
| 6 |  | dselsam | 9 | 411 |
| 7 |  | Kha | 9 | 352 |
| 8 |  | kbuzzard | 14 | 303 |
| 9 |  | lurk-lab | 23 | 258 |
| 10 |  | lecopivo | 7 | 234 |
3,466Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | lean4 | 3,733 | leanprover |
| 2 | mathlib | 1,625 | leanprover-community |
| 3 | mathlib4 | 773 | leanprover-community |
| 4 | Cosette | 654 | uwdb |
| 5 | smalltt | 494 | AndrasKovacs |
| 6 | certigrad | 385 | dselsam |
| 7 | electrolysis | 324 | Kha |
| 8 | formalising-mathematics | 294 | ImperialCollegeLondon |
| 9 | natural_number_game | 290 | ImperialCollegeLondon |
| 10 | xena | 224 | kbuzzard |