commit: bbc5c4a6b235a87d032ec2d64552e29a6005025a

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Fri Feb 09 15:17:56 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Feb 09 15:17:56 2024 +1100
tree: 6f45f061e7765a7f23c3799c9dcc35cc4267f643
parent: 8aff560ac9ad6afdacbd14f7e43a3712f3978f95 [diff]

chore: update stage0

3 files changed

tree: 6f45f061e7765a7f23c3799c9dcc35cc4267f643

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.