commit: 08785b49c7c06dcb88f9b192579f972cc23ce3f3

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

Mon Jun 17 13:34:59 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jun 17 13:34:59 2024 -0700
tree: e4f2509e951150573d7b94b7c4d58cfdce31855e
parent: 1fe5c9cf62889de61d396e74739e608485006a23 [diff]

chore: update stage0

194 files changed

tree: e4f2509e951150573d7b94b7c4d58cfdce31855e

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