commit: 0ff84ec137620ad37452ba86e6f970f13fadd12d

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

Sun May 10 23:22:01 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Sun May 10 23:22:01 2026 +0000
tree: 9f7f11718cd13fe91d40677bbe9bd7be5fa7eb05
parent: 0eb80e34a660f54b88002b33c4d93965651c71cb [diff]

feat: improve diagnostiscs for `grind` local theorems

3 files changed

tree: 9f7f11718cd13fe91d40677bbe9bd7be5fa7eb05

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.