52 Repositories
lean4
3517
lean3
2134
elan
244
std4
172
theorem_proving_in_lean4
128
vscode-lean
119
lean2
119
vscode-lean4
111
lake
97
logic_and_proof
94
lean-mode
67
tc
57
LeanInk
53
lean4-mode
52
fp-lean
52
lean4-cli
51
doc-gen4
50
theorem_proving_in_lean
47
tutorial
42
verso
38
functional_programming_in_lean
34
lean-client-js
33
lean.js
26
lean4-nightly
21
lean.vim
19
leanprover.github.io
15
LNSym
14
super
13
presentations
13
lean4checker
12
reservoir
10
leansat
10
lean3-web-editor
9
lean4export
8
smt2_interface
7
leanbv
5
cmu-15815-s15
4
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
reservoir-index
0