153 Repositories
lean4
8790
lean3
2154
cslib
650
elan
598
verso
374
vscode-lean4
305
theorem_proving_in_lean4
263
fp-lean
184
doc-gen4
166
comparator
143
lean2
128
reference-manual
124
lean4-cli
118
LNSym
116
vscode-lean
114
SampCert
103
lake
101
logic_and_proof_lean3
96
Pantograph
75
LeanInk
68
lean3-mode
68
tc
64
skills
61
leansat
57
KLR
52
leansqlite
52
theorem_proving_in_lean
49
tutorial
48
reservoir
48
functional_programming_in_lean
47
TensorLib
45
lean-action
39
lean4export
39
lean-eval
38
lean-client-js
36
verso-templates
36
lean4checker
36
lean-kernel-arena
33
human-eval-lean
31
lean.js
27
verso-blueprint
26
lean4-nightly
23
lean.vim
21
SHerLOC
21
velcom
19
lean-eval-leaderboard
18
presentations
18
super
17
verso-slides
16
leanprover.github.io
16