Revert "build std4 with current stage" This reverts commit cd8ba9ecebc29e7bde1d863d13254c68c98cab2e.
This is the repository for Lean 4.
We provide nightly releases and have just begun regular stable point releases.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean.