commit: 3692565f7b806400d8432b27c0160719db1f7bac

[log]
author: Henrik Böving <hargonix@gmail.com>

Fri Aug 07 12:38:40 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Fri Aug 07 12:38:40 2026 +0000
tree: 7b901024285192b912dff3febea89fe29fd60ae5
parent: bd97ed8e35639e17a11d1490cbc46d994e7b4513 [diff]

perf: avoid non-linearity in cbv_opaque

src/Lean/Meta/Tactic/Cbv/Opaque.lean[diff]

1 file changed

tree: 7b901024285192b912dff3febea89fe29fd60ae5

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.