commit: 5abf4bb651329452deb16496845f8937b1bbc270

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

Mon Aug 11 12:13:17 2025 -0700
committer: GitHub <noreply@github.com>

Mon Aug 11 19:13:17 2025 +0000
tree: 3070cf8e55290997d0cb747adfff373cfa336e08
parent: 7ea711e0437e26b16b8a47125a3b00879297b32d [diff]

fix: additional numeral normalization in `grind` (#9853)

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.