commit: 337d0195085b69d30bba9a4bd453945d3853c72d

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

Tue Mar 05 06:39:06 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Mar 05 06:41:06 2024 -0800
tree: 87bfede2f22de5cf80401b95a9c92876490afc6f
parent: ce77518ef5bc6e0e8627cb6a1ec6166361464079 [diff]

fix: `dsimp` should reduce kernel projections

closes #3395

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

2 files changed

tree: 87bfede2f22de5cf80401b95a9c92876490afc6f

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.