commit: a672d59ef8757329d252f399cf6ea14bf2899168

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

Mon Jun 30 14:21:16 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jun 30 14:32:06 2025 -0700
tree: f869a7c933dae4816b341206f0990bacdfb249e4
parent: 1394bb371d61565245fa67936ec78c7c50fd6deb [diff]

doc: improve `grind` doc string

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

1 file changed

tree: f869a7c933dae4816b341206f0990bacdfb249e4

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.