commit: 53fa3a0fa7ce6a23b06c999022760881cf3c2bcf

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 26 12:30:07 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 26 12:31:00 2024 -0800
tree: 676ca040ce2303891ebec6845cf7b63ccf36289c
parent: e73495e5a6059bfebeed65032fed2b9a1b6933c9 [diff]

fix: `simp?` should track unfolded let-decls

closes #3501

src/Lean/Meta/Tactic/Simp/Main.lean[diff]
tests/lean/run/3501.lean[Added - diff]

2 files changed

tree: 676ca040ce2303891ebec6845cf7b63ccf36289c

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.