Lean

languages / Lean
1,061Developers

Top ranked

RankDeveloperReposStars
1gravatar for leanproverleanprover102,607
2gravatar for leanprover-communityleanprover-community192,348
3gravatar for ImperialCollegeLondonImperialCollegeLondon291,155
4gravatar for uwdbuwdb1625
5gravatar for AndrasKovacsAndrasKovacs1445
6gravatar for dselsamdselsam9406
7gravatar for KhaKha10335
8gravatar for kbuzzardkbuzzard13293
9gravatar for lurk-lablurk-lab23187
10gravatar for arthurpaulinoarthurpaulino7167
2,339Repos

Top ranked

RankRepoStarsDeveloper
leanprover/lean4 on Github1lean42,299leanprover
leanprover-community/mathlib on Github2mathlib1,517leanprover-community
uwdb/Cosette on Github3Cosette625uwdb
AndrasKovacs/smalltt on Github4smalltt445AndrasKovacs
dselsam/certigrad on Github5certigrad384dselsam
Kha/electrolysis on Github6electrolysis311Kha
ImperialCollegeLondon/formalising-mathematics on Github7formalising-mathematics271ImperialCollegeLondon
ImperialCollegeLondon/natural_number_game on Github8natural_number_game264ImperialCollegeLondon
kbuzzard/xena on Github9xena217kbuzzard
leanprover-community/mathlib4 on Github10mathlib4215leanprover-community
0Topics

Most popular

TopicReposStars