Top Lean developers globally
languages / Lean / global1,520 developers
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | leanprover | 16 | 4,231 | |
2 | ImperialCollegeLondon | 32 | 1,324 | |
3 | uwdb | 1 | 651 | |
4 | AndrasKovacs | 1 | 494 | |
5 | dselsam | 9 | 410 | |
6 | Kha | 9 | 350 | |
7 | kbuzzard | 14 | 302 | |
8 | lurk-lab | 23 | 247 | |
9 | lecopivo | 7 | 219 | |
10 | blanchette | 6 | 214 |