commit: b4502a15223a98a3bc135402fde9b66598b0b122

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

Sun Sep 21 09:11:00 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Sep 21 09:11:00 2025 -0700
tree: 622f4c00da94c0b6fd575d67d9477bafe9a42c9b
parent: d0d5d4ca39d27e84c8e2a0bd536ef4105a26dec7 [diff]

doc: extra `grind` docstrings

This PR adds and expands `grind` related docstrings.

2 files changed

tree: 622f4c00da94c0b6fd575d67d9477bafe9a42c9b

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.