commit: a51bb5ac79e5547d5e297a1899c19a609366679f

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

Thu Apr 30 18:25:57 2026 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Apr 30 18:25:57 2026 -0700
tree: 20b74323995b32f94cc62b84ba9650fd89d8d42e
parent: a9946fe4ac0d53a63f81ccc6e8786ce513f8b494 [diff]

fix: #13573

src/Init/Grind/Config.lean[diff]
tests/elab/grind_13573.lean[Added - diff]

2 files changed

tree: 20b74323995b32f94cc62b84ba9650fd89d8d42e

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.