commit: 879c93f232da915810fcc059b2cd8f37a0a7ab5c

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

Sat Oct 25 19:35:33 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Oct 25 19:35:33 2025 -0700
tree: a341be334695b882cf51ee53144286b2003c5c0c
parent: cdaa827b2aaa3467ed14b15a781795777fb8a4d6 [diff]

chore: use `realizeGlobalConstNoOverloadWithInfo`

closes #10427
closes #10426

src/Lean/Elab/Tactic/Grind/Main.lean[diff]

1 file changed

tree: a341be334695b882cf51ee53144286b2003c5c0c

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.