commit: c7dc28238528945ed9507b3939c74321d07e8d67

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

Wed Aug 20 19:43:43 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Aug 20 19:48:29 2025 -0700
tree: 008c727775263e1b0c02cecce8458342d91ebada
parent: 105879669e65311404bd52583b74a1f4803e864e [diff]

fix: missing nonlinear `/` and `%` in `grind cutsat`

5 files changed

tree: 008c727775263e1b0c02cecce8458342d91ebada

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.