commit: 3b2c5348345ef2007d6533c7d8abfbc4bc3a8a9c

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

Sat Aug 02 16:12:44 2025 +0200
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Aug 02 16:14:48 2025 +0200
tree: 6302548f42376e76e287176e4b8112894667b1b1
parent: 08c3f3c2366db7000fd20267e84aeb6e06487323 [diff]

feat: clear `implDetail` local declarations in `grind`

This PR applies `clear` to implementation detail local declarations during the `grind` preprocessing steps.

3 files changed

tree: 6302548f42376e76e287176e4b8112894667b1b1

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.