commit: 1246d59a8017444f46b4481cbaad0883ec746625

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

Mon May 19 17:28:12 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon May 19 17:28:12 2025 -0700
tree: 22168b6c955a4aa60cf15977b13b64d84894f708
parent: d1ec806834675f0c4f0614f52ff4b77e0035dc07 [diff]

fix: case-splitting in `grind`

This PR fixes a case-splitting heuristic in `grind` and simplifies the
proof for test `grind_palindrome2.lean`.

2 files changed

tree: 22168b6c955a4aa60cf15977b13b64d84894f708

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.