commit: c6554bc242950fba7648811f4bab39c6a94804ce

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jan 24 12:47:00 2024 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jan 24 12:47:00 2024 +0100
tree: 9935e5b917bfcfb16211e580d9b7276894b85ba7
parent: c1846e0b9735aed557db245e40a6456176b10719 [diff]

chore: update stage0

77 files changed

tree: 9935e5b917bfcfb16211e580d9b7276894b85ba7

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.