commit: 3cd2da05f2e21fa60091e2c101ddc4f99e3067a6

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

Tue Feb 27 14:53:41 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Feb 27 14:56:34 2024 -0800
tree: c00c8648e607d57ce43f68b31d06d253d4a7440f
parent: 2d1193f8e855cbcadd73b883da7b916d44ebf9af [diff]

fix: `simp?` incorrect context

closes #3519

src/Lean/Elab/Tactic/SimpTrace.lean[diff]
tests/lean/run/3519.lean[Added - diff]

2 files changed

tree: c00c8648e607d57ce43f68b31d06d253d4a7440f

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.