commit: 00549860634bf2e6ef5f41bb9bf85b640d0e8e0b

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

Wed Oct 08 10:26:00 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Oct 08 10:26:00 2025 -0700
tree: 7941ee3b5f8f54806fd783679e38ff98a52befc5
parent: 1d989523d43cdf25a5dc54432b2f3551311e529b [diff]

feat: improve `grind` anchors computation

This PR improves anchor stability (aka stable hash codes) used to
reference terms in a `grind` goal.

2 files changed

tree: 7941ee3b5f8f54806fd783679e38ff98a52befc5

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.