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 |