v4.0.0-rc5
Pre-release
Pre-release
·
7156 commits
to master
since this release
This is the fifth release candidate for the first official release of Lean 4.
It replaces v4.0.0-rc4, but has no changes except for the values of Lean.toolchain and Lean.versionString, which were not set correctly under the previous release process.