commit: 3c9c8d5b26413ff01ed43e5b7a57125e5ace8e3a

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

Sun Jan 05 09:15:21 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Jan 05 09:17:43 2025 -0800
tree: 25e90f8c654157a6a71a8b90908bed2e8b9ed5a7
parent: 30eae129a8d23d8c80d43dfbd1820bee9a7e65a9 [diff]

fix: generation in `grind`

2 files changed

tree: 25e90f8c654157a6a71a8b90908bed2e8b9ed5a7

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