commit: 4492c1fdeb8013b45e93256d64c64069b9bbfcc1

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

Wed Mar 19 12:04:30 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Mar 19 12:04:30 2025 -0700
tree: 0a0be1754f54f6967dde6c420461921a1ae92a4e
parent: a5348f4bdc95c5a327817b5c62ee9f99ec8a0bfa [diff]

feat: improve cutsat counterexamples

This PR improves the counterexamples produced by the cutsat
procedure.

5 files changed

tree: 0a0be1754f54f6967dde6c420461921a1ae92a4e

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 (documentation source: doc/make/index.md).