Releases: leanprover/lean4
Release list
v4.35.0-rc3
This is release candidate 3 for the v4.35.0 release of Lean. View the release notes for more information.
v4.34.1
This is the v4.34.1 release of Lean. View the release notes for more information.
v4.35.0-rc2
This is release candidate 2 for the v4.35.0 release of Lean. View the release notes for more information.
v4.35.0-rc1
This is release candidate 1 for the v4.35.0 release of Lean. View the release notes for more information.
v4.34.0
This is the v4.34.0 release of Lean. View the release notes for more information.
v4.34.0-rc2
This is release candidate 2 for the v4.34.0 release of Lean. View the release notes for more information.
v4.33.1
This is the v4.33.1 release of Lean. View the release notes for more information.
v4.34.0-rc1
This is release candidate 1 for the v4.34.0 release of Lean. View the release notes for more information.
v4.33.0
This is the v4.33.0 release of Lean. View the release notes for more information.
v4.33.0-rc2
This is release candidate 2 for the v4.33.0 release of Lean. View the release notes for more information.