153 Repositories
hex
16
illuminate
11
LeroyCompilerVerificationCourse
11
smt2_interface
10
lp
10
TenCert
9
lean-llvm
8
subverso
8
reservoir-index
8
lean3-web-editor
8
csdp-ffi
8
radar
7
lean-eval-submissions
6
vstte2024
6
mdBook
5
lean-workbench
4
sos
4
nerodia
4
lean4-api-docs
4
cmu-15815-s15
4
lean-nightly
3
verso-web-components
3
mini_crush
3
lean4-pr-releases
3
deprecated-homebrew-lean
3
adt
3
Lean.tmbundle
2
leagent
2
vetss2025
2
PyPantograph
2
ppa-updater
2
mkleanbook
2
lp-backend-soplex-ffi
2
emacs-dependencies
2
comparator-live
2
impeller
1
hex-lll
1
skills-testing
1
radar-bench-mathlib4
1
macports
1
lp-verify
1
downstream-lean4
1
alectryon
1
ace
1
lean-resolver-js
0
hex-test-kit
0
hex-row-reduce-mathlib
0
hex-row-reduce
0
hex-roots-mathlib
0
hex-roots
0