commit: 572b3ef16a885da8530efba0ffa6d32db06e2568

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

Sat Jun 28 13:01:52 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 28 13:05:23 2025 -0700
tree: 1744db011b6d0a3a4d67d5ee508e17783e949be3
parent: 05978caa5943b66df3e86faf91c02afb14cd46f8 [diff]

doc: `grind` docstring

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

1 file changed

tree: 1744db011b6d0a3a4d67d5ee508e17783e949be3

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.