commit: cdaa827b2aaa3467ed14b15a781795777fb8a4d6

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

Sat Oct 25 17:27:47 2025 -0700
committer: GitHub <noreply@github.com>

Sun Oct 26 00:27:47 2025 +0000
tree: 111a527372a8df59a09515c6ea488aa453fff76e
parent: a9d6bc60d016ce3be42632d947fb5ec57e002e86 [diff]

fix: `grind linarith` counterexample (#10960)

This PR fixes a bug in the `grind linarith` model/counterexample
construction.

Closes #10500

7 files changed

tree: 111a527372a8df59a09515c6ea488aa453fff76e

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.