commit: 6a260d0191de5a16c714ace2376dae2ad0f3739b

[log]
author: Kim Morrison <kim@tqft.net>

Fri Aug 15 10:48:05 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Aug 15 10:48:05 2025 +1000
tree: c3d2771bf608f03f10ac895cb558043627e3ae06
parent: 06d05d1f4698a48ba5ca6ad7f753c3674c5f8cc7 [diff]

fix: panic in ProofMode/Delab

src/Lean/Elab/Tactic/Do/ProofMode/Delab.lean[diff]

1 file changed

tree: c3d2771bf608f03f10ac895cb558043627e3ae06

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.