commit: 7a58c45e1648cdd90825f80de2d33dde5f744bfd

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

Tue Jul 22 14:45:17 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Jul 22 14:45:17 2025 -0700
tree: fbda97c2eb63e477898c520a67c3534433db8909
parent: dedd9275ec162e181bbbd11ce65ba3bdfbf38e02 [diff]

fix: `assertNatCast` in `grind`

This PR fixes the bridge between `Nat` and `Int` in `grind cutsat`.

Closes #9467

2 files changed

tree: fbda97c2eb63e477898c520a67c3534433db8909

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.