commit: 41bd70c3ecd70110a23b34791fe9ccae48d2110b

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

Sat Jun 29 09:32:45 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 29 09:32:45 2024 -0700
tree: 395545fe13a873ab5eae1d2089f15409c4d85a3e
parent: be225c7e5c7da3e9d622d697156f983ca0cdfb82 [diff]

chore: update stage0

40 files changed

tree: 395545fe13a873ab5eae1d2089f15409c4d85a3e

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