commit: a9ee57842129445d1043c369c8f89cbae4182bee

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

Mon Aug 26 06:26:41 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Aug 26 06:32:19 2024 -0700
tree: 8bf92a341c5c844cc3187ea5d0cad5aa14c7a3ee
parent: c4c6fa0e8bb5319522f8d9ebae31e2382a8b2c40 [diff]

chore: fix rebase issues

2 files changed

tree: 8bf92a341c5c844cc3187ea5d0cad5aa14c7a3ee

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