Releases: leanprover/lean4
Release list
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.
v4.32.2
This is the v4.32.2 release of Lean. View the release notes for more information.
v4.32.1
This is the v4.32.1 release of Lean. View the release notes for more information.
v4.33.0-rc1
This is release candidate 1 for the v4.33.0 release of Lean. View the release notes for more information.
v4.32.0
This is the v4.32.0 release of Lean. View the release notes for more information.
v4.32.0-rc1
This is release candidate 1 for the v4.32.0 release of Lean. View the release notes for more information.
