Top Lean developers globally

languages / Lean / global

1,520 developers

«12...152»
RankDeveloperReposStars
1gravatar for leanproverleanprover164,231
2gravatar for ImperialCollegeLondonImperialCollegeLondon321,324
3gravatar for uwdbuwdb1651
4gravatar for AndrasKovacsAndrasKovacs1494
5gravatar for dselsamdselsam9410
6gravatar for KhaKha9350
7gravatar for kbuzzardkbuzzard14302
8gravatar for lurk-lablurk-lab23247
9gravatar for lecopivolecopivo7219
10gravatar for blanchetteblanchette6214