commit: a10ce9492fa1240398c59cc6938e2738a750a3a6

[log]
author: Henrik Böving <hargonix@gmail.com>

Wed Jan 15 13:44:45 2025 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jan 15 15:17:36 2025 +0100
tree: 334605f250451aeee4b91f109d65f9fd9f36bc13
parent: 838ad281f2198839c35f58a0ef2b3cf9dae39838 [diff]

chore: update stage0

123 files changed

tree: 334605f250451aeee4b91f109d65f9fd9f36bc13

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