commit: 065094f87a1a14fde48a10e29027f6304b52eeca

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

Mon Oct 27 15:09:25 2025 -0400
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Oct 27 15:09:25 2025 -0400
tree: b6abe59f0321626f733924b63d2e8ded81df85ec
parent: 808d123e6f8b8eb40015aea3219d89d97c0c3abe [diff]

feat: `set_config` for setting `grind` configuration options

This PR adds the `set_config` tactic for setting `grind` configuration
options. It uses the same syntax used for setting configuration
options in the `grind` main tactic.

4 files changed

tree: b6abe59f0321626f733924b63d2e8ded81df85ec

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.