commit: 7a6d6e592442959e693e3f59940aaead8a0a5db0

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Fri Dec 26 11:22:24 2025 +0000
committer: Joachim Breitner <mail@joachim-breitner.de>

Fri Dec 26 11:22:24 2025 +0000
tree: 30599bb291d25b04a757b2fc4413cefedb756380
parent: b3b33e85d38317eca940e4a9653660e9f8b5682a [diff]

perf: avoid possible dangerous beta-reduction

src/Lean/Meta/AppBuilder.lean[diff]

1 file changed

tree: 30599bb291d25b04a757b2fc4413cefedb756380

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.