commit: c1c8afd15ca06c49964d2a7e5a6b444f1fa8f006

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

Sun Feb 02 18:19:21 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Feb 02 18:38:16 2025 -0800
tree: 823b61079da750b808c4e9ae0b68652bce135531
parent: 15f1aeed6e34b4a22ca94d310219e6a22c7cfce7 [diff]

chore: improve `grind` pattern pretty printer

10 files changed

tree: 823b61079da750b808c4e9ae0b68652bce135531

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