commit: e7520989c72213d232d503e0bfa80cfc6e5e0c4e

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

Mon Jun 30 23:00:31 2025 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Mon Jun 30 23:00:33 2025 +0200
tree: 70f2ed2d5e44e3f47377f37b2e302a1fd4cac7a6
parent: 7cd1f9407c15ca66f568910ff004aee88ba6d3c1 [diff]

chore: update stage0

21 files changed

tree: 70f2ed2d5e44e3f47377f37b2e302a1fd4cac7a6

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.