Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
leanprover
Star
13392
Rank
1393
Go to GitHub
Fetched on 2026/03/01 20:41
83 Repositories
lean4
7424
lean3
2159
elan
484
cslib
391
verso
259
vscode-lean4
253
theorem_proving_in_lean4
240
fp-lean
146
doc-gen4
131
lean2
126
vscode-lean
116
reference-manual
101
lake
101
lean4-cli
98
LNSym
96
logic_and_proof_lean3
95
SampCert
91
lean3-mode
68
LeanInk
67
tc
63
leansat
55
Pantograph
52
theorem_proving_in_lean
49
tutorial
46
functional_programming_in_lean
45
KLR
43
reservoir
40
lean-client-js
38
TensorLib
36
leansqlite
35
lean4checker
33
lean-action
31
human-eval-lean
28
lean.js
27
comparator
27
lean4export
26
lean4-nightly
23
SHerLOC
21
velcom
19
lean.vim
19
super
17
presentations
17
leanprover.github.io
17
lean-kernel-arena
15
LeroyCompilerVerificationCourse
10
smt2_interface
9
TenCert
8
skills
8
lean3-web-editor
8
subverso
7
1
2
›