Lean

languages / Lean
877Developers

Top ranked

RankDeveloperReposStars
1gravatar for leanproverleanprover102,277
2gravatar for uwdbuwdb1596
3gravatar for AndrasKovacsAndrasKovacs1432
4gravatar for dselsamdselsam9402
5gravatar for KhaKha9324
6gravatar for kbuzzardkbuzzard12284
7gravatar for formalabstractsformalabstracts1150
8gravatar for yatima-incyatima-inc23143
9gravatar for blanchetteblanchette4138
10gravatar for arthurpaulinoarthurpaulino7127
1,969Repos

Top ranked

RankRepoStarsDeveloper
leanprover/lean4 on Github1lean42,048leanprover
uwdb/Cosette on Github2Cosette596uwdb
AndrasKovacs/smalltt on Github3smalltt432AndrasKovacs
dselsam/certigrad on Github4certigrad382dselsam
Kha/electrolysis on Github5electrolysis303Kha
kbuzzard/xena on Github6xena215kbuzzard
formalabstracts/formalabstracts on Github7formalabstracts150formalabstracts
flypitch/flypitch on Github8flypitch94flypitch
lecopivo/SciLean on Github9SciLean93lecopivo
kmill/lean4-raytracer on Github10lean4-raytracer92kmill
123Topics

Most popular