Lean

languages / Lean
773Developers

Top ranked

RankDeveloperReposStars
1gravatar for leanproverleanprover101,980
2gravatar for ImperialCollegeLondonImperialCollegeLondon27996
3gravatar for uwdbuwdb1584
4gravatar for AndrasKovacsAndrasKovacs1406
5gravatar for dselsamdselsam9395
6gravatar for KhaKha8308
7gravatar for kbuzzardkbuzzard12274
8gravatar for formalabstractsformalabstracts1147
9gravatar for blanchetteblanchette4123
10gravatar for gebnergebner12113
1,786Repos

Top ranked

RankRepoStarsDeveloper
leanprover/lean4 on Github1lean41,806leanprover
uwdb/Cosette on Github2Cosette584uwdb
AndrasKovacs/smalltt on Github3smalltt406AndrasKovacs
dselsam/certigrad on Github4certigrad375dselsam
Kha/electrolysis on Github5electrolysis291Kha
ImperialCollegeLondon/formalising-mathematics on Github6formalising-mathematics250ImperialCollegeLondon
ImperialCollegeLondon/natural_number_game on Github7natural_number_game225ImperialCollegeLondon
kbuzzard/xena on Github8xena206kbuzzard
formalabstracts/formalabstracts on Github9formalabstracts147formalabstracts
ImperialCollegeLondon/M40001_lean on Github10M40001_lean129ImperialCollegeLondon
119Topics

Most popular