commit: 7b547128f1d4a2d8b121c704ac118d09e25ed195

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

Mon Feb 03 20:14:46 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Feb 03 20:14:46 2025 -0800
tree: 5bf6e40b63c076cc30999ade9768c541dddb9fa9
parent: 6f8c13ba39c1e9ae4785692973a7093eb18154e8 [diff]

feat: improve `grind` case-split on `Iff`

This PR improves how the `grind` tactic performs case splits on `p <-> q`.

2 files changed

tree: 5bf6e40b63c076cc30999ade9768c541dddb9fa9

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