commit: 519ccf5d9daf15f96faba3a52c2558468bf4700d

[log]
author: Kim Morrison <477956+kim-em@users.noreply.github.com>

Tue Dec 02 13:11:32 2025 +1100
committer: GitHub <noreply@github.com>

Tue Dec 02 02:11:32 2025 +0000
tree: 84f7fdf4c424e799d97479f8696b5fe3e7da9e65
parent: 1c1c534a03e7a3b94e8b10396d14a8a86b2790a3 [diff]

feat: add `solve_by_elim +suggestions` (#11468)

This PR adds `+suggestions` support to `solve_by_elim`, following the
pattern established by `grind +suggestions` and `simp_all +suggestions`.

Gracefully handles invalid/nonexistent suggestions by filtering them out

🤖 Prepared with Claude Code

Co-authored-by: Claude <noreply@anthropic.com>

3 files changed

tree: 84f7fdf4c424e799d97479f8696b5fe3e7da9e65

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.