60 Repositories
lean4
4930
lean3
2151
elan
332
vscode-lean4
177
theorem_proving_in_lean4
169
verso
130
lean2
121
vscode-lean
116
lake
98
logic_and_proof_lean3
96
fp-lean
73
doc-gen4
73
lean4-cli
72
lean3-mode
70
LNSym
68
SampCert
67
tc
61
LeanInk
60
leansat
51
theorem_proving_in_lean
48
tutorial
44
functional_programming_in_lean
39
reference-manual
37
lean-client-js
34
lean.js
26
lean4-nightly
22
TensorLib
20
lean4checker
18
lean.vim
18
super
17
reservoir
17
presentations
16
lean-action
16
SHerLOC
15
leanprover.github.io
15
lean4export
12
smt2_interface
9
lean3-web-editor
9
lean-llvm
6
vstte2024
5
subverso
4
NKL
4
mdBook
4
cmu-15815-s15
4
TenCert
3
mini_crush
3
deprecated-homebrew-lean
3
reservoir-index
2
mkleanbook
2
lean4-pr-releases
2