commit: f86560d1343a5c71af7579ac6bf004f7315c9eaf

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

Sat Jun 14 23:44:53 2025 -0400
committer: GitHub <noreply@github.com>

Sun Jun 15 03:44:53 2025 +0000
tree: 092f402f21faa6d87a0d9164dcd4109e399f4a23
parent: cc3dafe67a67549726100d36608252b45dcf7409 [diff]

fix: `grind` bogus warning and missing normalization rule (#8797)

This PR adds small fixes

5 files changed

tree: 092f402f21faa6d87a0d9164dcd4109e399f4a23

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.