commit: c950ea814f49c5fbe4e584101a2d5f9c0136b9b7

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

Sat Dec 13 15:12:25 2025 +0100
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Dec 13 15:13:49 2025 +0100
tree: 984274e558e585a4aa4f4c73659c418ac73f663c
parent: 6d8a16f1375541b91b899b2417419694721dfafa [diff]

chore: update `grind` docstring

This PR updates the `grind` docstring. It was still mentioning
`cutsat` which has been renamed to `lia`. This issue was reported
during ItaLean.

src/Init/Grind/Tactics.lean[diff]

1 file changed

tree: 984274e558e585a4aa4f4c73659c418ac73f663c

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.