commit: e6eb81c60883d2e66229ee6e39e90e6b641856dd

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

Sat Jun 07 12:08:16 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 07 12:08:16 2025 -0700
tree: 982377310ba4804bc76b93ef4dc40ce36bea0f4b
parent: d46188de54f86c64cef85aaba800f4171ccffcd5 [diff]

refactor: `ENodeKey` => `ExprPtr`

src/Lean/Meta/Tactic/Grind/AlphaShareCommon.lean[diff]
src/Lean/Meta/Tactic/Grind/Arith/CommRing/Types.lean[diff]
src/Lean/Meta/Tactic/Grind/Arith/Cutsat/Types.lean[diff]
src/Lean/Meta/Tactic/Grind/Arith/Offset/Types.lean[diff]
src/Lean/Meta/Tactic/Grind/ExprPtr.lean[Renamed from src/Lean/Meta/Tactic/Grind/ENodeKey.lean - diff]
src/Lean/Meta/Tactic/Grind/Types.lean[diff]

6 files changed

tree: 982377310ba4804bc76b93ef4dc40ce36bea0f4b

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.