commit: 424c6bea26ff52ebc2dfa836e5c1cb75b675f187

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

Tue Aug 05 09:04:35 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Aug 05 09:04:35 2025 -0700
tree: 20773cff8ed6799293639102a69ed52385717088
parent: ed860dfa23acab2178686d85f463101f5adbddf1 [diff]

feat: constant functions in `grind`

This PR extends the propagation rule implemented in #9699 to constant functions.

3 files changed

tree: 20773cff8ed6799293639102a69ed52385717088

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.