commit: 694814a9aa5a93ff79810add38d78efbcefc0ca9

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

Fri Jul 04 21:23:38 2025 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Jul 04 21:23:44 2025 +0200
tree: 3628edc9324874dd0c880f86ed6337154c42e7c3
parent: 857d83b9a8f3d15700f6f6659eb1d735dcd91140 [diff]

chore: update stage0

250 files changed

tree: 3628edc9324874dd0c880f86ed6337154c42e7c3

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.