commit: bae3a36e09186230ad843fb36c7073ef7589009c

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

Mon Oct 20 17:40:29 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Oct 20 17:41:40 2025 -0700
tree: e9a510d8c89dcfccdc340b459f15e4d758feb6de
parent: e3a5369bd7705e732d571319a7d3513ba9a70a63 [diff]

fix: `set_option` auto-completion in `grind` mode

This PR fixes auto-completion for `set_option` in `grind` interactive mode.

2 files changed

tree: e9a510d8c89dcfccdc340b459f15e4d758feb6de

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.