commit: 744f04fab5a59f394677b1b50453d7baba993187

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

Sat Sep 27 09:28:14 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Sep 27 09:28:14 2025 -0700
tree: 2c1c3ce58fb19d4226e756d59b2d9354648bec2f
parent: 69c8f13bf21a4a86000ca9f3f7288fad579de45b [diff]

feat: proofs for theory propagation in `grind order`

This PR implements proof construction for theory propagation in `grind order`.

3 files changed

tree: 2c1c3ce58fb19d4226e756d59b2d9354648bec2f

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.