commit: bc07b996fb8718156ce9f5d106343def97caada4

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

Mon Oct 27 00:28:51 2025 -0400
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Oct 27 00:30:08 2025 -0400
tree: 87cf5b835832f1c7d847d9c64ceafb1ce6642aa0
parent: 82f1c7efcbc0884d458619353f683e23beadfafc [diff]

feat: allow `set_option` to set `grind` config options

2 files changed

tree: 87cf5b835832f1c7d847d9c64ceafb1ce6642aa0

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.