commit: 58d54792e7bbbe5899c99eecf9b10643344a676c

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

Mon Aug 11 11:54:15 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Aug 11 11:56:43 2025 -0700
tree: 3070cf8e55290997d0cb747adfff373cfa336e08
parent: 7ea711e0437e26b16b8a47125a3b00879297b32d [diff]

fix: additional numeral normalization in `grind`

This PR adds `Nat` and `Int` numeral normalizers in `grind`.

closes #9828

2 files changed

tree: 3070cf8e55290997d0cb747adfff373cfa336e08

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.