Lean

languages / Lean
1,225Developers

Top ranked

RankDeveloperReposStars
1gravatar for leanprover-communityleanprover-community293,415
2gravatar for ImperialCollegeLondonImperialCollegeLondon351,443
3gravatar for uwdbuwdb1642
4gravatar for AndrasKovacsAndrasKovacs1475
5gravatar for dselsamdselsam9406
6gravatar for KhaKha9346
7gravatar for kbuzzardkbuzzard14304
8gravatar for blanchetteblanchette5186
9gravatar for lecopivolecopivo5179
10gravatar for formalabstractsformalabstracts1155
2,650Repos

Top ranked

RankRepoStarsDeveloper
leanprover-community/mathlib on Github1mathlib1,619leanprover-community
uwdb/Cosette on Github2Cosette642uwdb
AndrasKovacs/smalltt on Github3smalltt475AndrasKovacs
leanprover-community/mathlib4 on Github4mathlib4474leanprover-community
dselsam/certigrad on Github5certigrad383dselsam
Kha/electrolysis on Github6electrolysis320Kha
ImperialCollegeLondon/natural_number_game on Github7natural_number_game284ImperialCollegeLondon
ImperialCollegeLondon/formalising-mathematics on Github8formalising-mathematics283ImperialCollegeLondon
kbuzzard/xena on Github9xena224kbuzzard
leanprover-community/tutorials on Github10tutorials179leanprover-community
0Topics

Most popular

TopicReposStars