Owner · leanprover

leanprover

leanprover's tracked open-source repos, sorted by stars.

3 repos

#1
lean4 ↗@leanproverLean
Lean 4 programming language and theorem prover
★ 8,960+32Star change over the last 7 days
#2
cslib ↗@leanproverLean
The Lean Computer Science Library (CSLib)
★ 689+13Star change over the last 7 days
#3
elan ↗@leanproverRust
The Lean version manager
★ 613+7Star change over the last 7 days