commit: ff37e5d512efcd3981290270a2fc3ecb100bbd0c

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

Wed May 22 05:50:36 2024 +0200
committer: GitHub <noreply@github.com>

Wed May 22 03:50:36 2024 +0000
tree: 0fa3977a4e1591aac6257db47b4af81f1a771d49
parent: c2b8a1e61883dfddb0ef9fb77ef1b966b179556a [diff]

feat: add `grind` core module (#4249)

10 files changed

tree: 0fa3977a4e1591aac6257db47b4af81f1a771d49

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).