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 |