commit: 541ffe874b03f0eca1c35a9469231de10942fc28

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

Tue Dec 31 12:51:10 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Dec 31 12:53:16 2024 -0800
tree: 5844991592d11205ef5afd443c280f4fd5ac32d1
parent: b3bfd1b66121fc76fbccc33d844d35a44b142c5c [diff]

feat: configuration options for `grind`

7 files changed

tree: 5844991592d11205ef5afd443c280f4fd5ac32d1

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 (documentation source: doc/make/index.md).