commit: ed8d3bec99eed0ff2cc98efe4cf499b80a1b5ed7

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

Wed Sep 10 19:23:17 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Sep 10 20:11:15 2025 -0700
tree: ca41864fbeb3749c45f51a0b8f71ff98a27e1665
parent: b7520e7232416f310592afc806f0a9ee979eb432 [diff]

chore: use `[grind =]`

23 files changed

tree: ca41864fbeb3749c45f51a0b8f71ff98a27e1665

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.