v4.0.0-rc4
Pre-release
Pre-release
·
7076 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
Contributors
kim-em