commit: 137a88d9d363d6f0c60de75d4cef02a26f38962e

[log]
author: Julia Markus Himmel <2065352+TwoFX@users.noreply.github.com>

Thu Sep 03 13:05:49 2026 +0000
committer: GitHub <noreply@github.com>

Thu Sep 03 13:05:49 2026 +0000
tree: ffd9e00584c9ae54eda8d855ef8e8dbe5900d838
parent: ed9ac0991b23a6acc530aa3592a6c4f7c905a9a5 [diff]

chore: remove `LEAN_LAZY_RC` (#15006)

This PR removes the long-obsolete `LEAN_LAZY_RC` option.

This will make #15004 slightly easier to land, if we decide to land that
one.

3 files changed

tree: ffd9e00584c9ae54eda8d855ef8e8dbe5900d838

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.