commit: 583950a3c5421695096fcbbcccb5bdb2dd998819

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

Tue May 14 09:52:45 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue May 14 09:52:45 2024 -0700
tree: 6ca0a9c9349f7797f09c1f3a565c560f15ff670a
parent: 231808c17cfcc09c48a9e599d41eb3bccf1426e3 [diff]

chore: update stage0

443 files changed

tree: 6ca0a9c9349f7797f09c1f3a565c560f15ff670a

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