fix: leanc: do not change sysroot Apparently clang is smart enough to look up runtime files missing from the sysroot in the installation directory automatically.
This is the repository for Lean 4, which is currently being released as milestone releases towards a first stable release. Lean 3 is still the latest stable release.
See Setting Up Lean.
Please read our Contribution Guidelines first.
See Building Lean.