commit: 3af4f1a3ad1e875abb1d7520d6974ad6ce90aa0c

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

Mon Dec 01 22:49:26 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Dec 01 22:50:47 2025 -0800
tree: 187d64eea816b4906038976943b231ac23988a9c
parent: 519ccf5d9daf15f96faba3a52c2558468bf4700d [diff]

fix: incorrect reducibility setting in `grind` interactive mode

This PR fixes an incorrect reducibility setting when using `grind`
interactive mode.

Signed-off-by: Leonardo de Moura <leomoura@amazon.com>

2 files changed

tree: 187d64eea816b4906038976943b231ac23988a9c

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.