commit: 71cec5c9217233fff9e0171c7537a1a67f59d418

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

Wed Nov 19 12:29:06 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Nov 19 12:29:06 2025 -0800
tree: c7cddf04bc051af044acfdd52cf06972c20ef3de
parent: 2af0b01afc5d05487a039337912753ec6a2f9a71 [diff]

feat: arbitrary `grind` parameters

3 files changed

tree: c7cddf04bc051af044acfdd52cf06972c20ef3de

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.