v4.0.0-rc4
Pre-release
Pre-release
github-actions
released this
30 Aug 10:57
·
2444 commits
to master
since this release
This is the fourth release candidate for the first official release of Lean 4.
It replaces v4.0.0-rc3, which included a commit that broke Mathlib. Setting up better integrated testing is in the works!
What's Changed
Full Changelog: v4.0.0-rc3...v4.0.0-rc4