commit: 21d19f1d3b022b3fc66d1787aadcdc1cbfd21aca

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

Thu Aug 21 15:31:51 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Aug 21 15:34:10 2025 -0700
tree: bb97a445c1c52d6c1e376b5985bd2602a604e479
parent: 6683d1eb911291fe52333cba05abae2f6578c314 [diff]

fix: `grind` error messages

This PR ensures `grind` error messages use `{.ofConstName declName}`
when referencing declaration names.

9 files changed

tree: bb97a445c1c52d6c1e376b5985bd2602a604e479

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.