commit: 04f9628cb0ce1e6c51b3e2248f8b4dce5370a2d3

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

Sun Jan 12 07:17:02 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jan 12 07:18:35 2025 -0800
tree: 7d5f2105aa521fd12b3aa6d935696ef0f370a586
parent: 8b1aabbb1ef46ffe02897dd14504202526b6a42e [diff]

feat: improve case split heuristic used in `grind`

This PR improves the case split heuristic used in the `grind`
tactic, ensuring it now avoids unnecessary case-splits on `Iff`.

2 files changed

tree: 7d5f2105aa521fd12b3aa6d935696ef0f370a586

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).