commit: f16eef4449012ea885d29e89f3c40eb8f9e5fd61

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

Sun Oct 19 17:31:41 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Oct 19 17:31:41 2025 -0700
tree: 3c693e2e876d5117fe15e1db65d4ef80d82d9891
parent: 681724a8cf35b3b4571a531b536d545abb8d1a4c [diff]

feat: `set_option` tactic in `grind` interactive mode

This PR implements the `set_option` tactic in `grind` interactive
mode.

3 files changed

tree: 3c693e2e876d5117fe15e1db65d4ef80d82d9891

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.