commit: 7181b02e964e3c4941ed4dfd1d474dd9713c1097

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

Wed Jan 01 21:14:57 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 01 21:15:38 2025 -0800
tree: 120f5382fad29c72d1a1370e755fbfc182b3e525
parent: d31fd653ed35599b12fd9e90c5ed5a855203e5ad [diff]

chore: cleanup

3 files changed

tree: 120f5382fad29c72d1a1370e755fbfc182b3e525

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