54 Repositories
lean4
3759
lean3
2137
elan
264
std4
197
theorem_proving_in_lean4
138
vscode-lean4
122
lean2
121
vscode-lean
118
lake
97
logic_and_proof
94
lean-mode
68
fp-lean
58
tc
57
LeanInk
56
lean4-cli
55
doc-gen4
52
verso
51
theorem_proving_in_lean
49
tutorial
42
functional_programming_in_lean
38
lean-client-js
34
SampCert
32
LNSym
31
leansat
26
lean.js
26
lean4-nightly
22
lean.vim
19
presentations
15
leanprover.github.io
15
lean4checker
15
super
14
reservoir
14
leanbv
10
lean4export
10
lean3-web-editor
9
smt2_interface
7
cmu-15815-s15
4
subverso
3
mini_crush
3
mdBook
3
lean-llvm
3
deprecated-homebrew-lean
3
mkleanbook
2
lean4-pr-releases
2
Lean.tmbundle
2
lean-nightly
2
ppa-updater
1
macports
1
emacs-dependencies
1
ace
1