commit: a955708b6c5f25e7f9c9ae7b951f8f3d5aefe377

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

Tue Jan 14 21:51:54 2025 -0800
committer: GitHub <noreply@github.com>

Wed Jan 15 05:51:54 2025 +0000
tree: 0ae93c785bf9f718841765f80b2b5ddd8b0f79a1
parent: 0f7f80aff5f54ec7b8fec312d92e5e11f76fba47 [diff]

fix: `grind` canonicalizer state management (#6649)

This PR fixes a bug in the term canonicalizer used in the `grind`
tactic.

4 files changed

tree: 0ae93c785bf9f718841765f80b2b5ddd8b0f79a1

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 (documentation source: doc/make/index.md).