commit: a0647a4f4fe858946b78786eb2d965595cc7cc77

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

Tue Aug 18 18:27:14 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Aug 18 18:27:14 2026 +0000
tree: 07e4a0dd7ab8132eb6ff7e54a3bf42a0b8fcdb3d
parent: e4be9b5fd74a7b4df3a95677d64f4367182d415d [diff]

fix: literal canonicalization in `grind`

This PR fixes literal canonicalization in `grind`.

Closes #14521

8 files changed

tree: 07e4a0dd7ab8132eb6ff7e54a3bf42a0b8fcdb3d

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.