commit: d7b0e72ee1968310788b65dc31879ffd6474ff1a

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

Sat Dec 13 19:26:42 2025 +0100
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Dec 13 19:27:38 2025 +0100
tree: 49625ac7f5464876bd9ba1926c7995bcc8cf7ad2
parent: e489c342d75d0389932f7665b1245195ad48e3b2 [diff]

fix: theorem activation in `grind`

This PR fixes another theorem activation issue in `grind`.

2 files changed

tree: 49625ac7f5464876bd9ba1926c7995bcc8cf7ad2

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.