commit: affa55eee04c7fd9610739140897919220cfb9d1

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

Wed Dec 24 15:21:32 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Dec 24 15:21:32 2025 -0800
tree: 95f9341a580c195ca892006990b269e13ff2baeb
parent: 501375f340038dfb736a0036254c124d432ba598 [diff]

chore: add `isDebugEnabled` to `grind`

This PR adds `isDebugEnabled` for checking whether `grind.debug` is
set to `true` when `grind` was initialized.

8 files changed

tree: 95f9341a580c195ca892006990b269e13ff2baeb

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.