Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
Lean 4 theorem prover and functional programming language.
Clone this repo:
Branches
upstream/#eval
upstream/10469_regression
upstream/11209_fix
upstream/11209_testing
upstream/12602-pre
upstream/1275
upstream/13_release_notes
upstream/1633
upstream/2022-deprecations
upstream/2143
More...
Tags
v4.36.0-rc2
v4.36.0-rc1
v4.35.0
v4.35.0-rc4
v4.35.0-rc3
v4.34.1
v4.35.0-rc2
v4.35.0-rc1
v4.34.0
v4.33.1
More...
