commit: 6f8c13ba39c1e9ae4785692973a7093eb18154e8

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

Mon Feb 03 19:44:17 2025 -0800
committer: GitHub <noreply@github.com>

Tue Feb 04 03:44:17 2025 +0000
tree: 18024683db28367ca826e6ce2f887718ffc269b1
parent: cb6adb02594cbaef0394ea7b4f1f2c94aa8b0df2 [diff]

feat: improve `grind` error messages (#6937)

This PR improves `grind` error and trace messages by cleaning up local
declaration names.

21 files changed

tree: 18024683db28367ca826e6ce2f887718ffc269b1

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 (documentation source: doc/make/index.md).