commit: d0d31e509f5c7f08f21738e1f94f1b518138580f

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

Thu Mar 27 11:58:12 2025 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Mar 27 11:58:16 2025 +0100
tree: 56e00e6e0d3b3da34b7f6cea20f04a518cae7784
parent: c2185020c5cba93caef84dc258b2bb4b179febb5 [diff]

chore: update stage0

84 files changed

tree: 56e00e6e0d3b3da34b7f6cea20f04a518cae7784

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