commit: b6d590ccc33552c4e76f3fc7851770feb39adaef

[log]
author: Lean stage0 autoupdater

Wed Sep 17 21:44:32 2025 +0000
committer: Lean stage0 autoupdater

Wed Sep 17 21:44:32 2025 +0000
tree: c89a5c05321a9dede450da204ac28344878347d5
parent: 719765ec5c35bd9045c0c4079efe9c444c25244f [diff]

chore: update stage0

87 files changed

tree: c89a5c05321a9dede450da204ac28344878347d5

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.