commit: 39b4cc28d5695d2ba762e250cef9c6b5ec50c194

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

Fri Aug 29 19:05:31 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Aug 29 19:15:56 2025 -0700
tree: c69985eddc2bc651aef6f4b31d35923ff68af5c2
parent: 404b00a5840790db17268ce9963afcda7ea2353b [diff]

fix: `grind` instance normalization

This PR fixes `grind` instance normalization procedure.

2 files changed

tree: c69985eddc2bc651aef6f4b31d35923ff68af5c2

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.