commit: 584ed5f33e8beec04277a6255b8902019213e927

[log]
author: Lean stage0 autoupdater

Fri Aug 22 08:30:43 2025 +0000
committer: Lean stage0 autoupdater

Fri Aug 22 08:30:43 2025 +0000
tree: 77f79b6814cdc725f471758bfb2cbfef7bcb91d7
parent: 1523ed1cdb148305301137b136849bf6bcac0a6a [diff]

chore: update stage0

324 files changed

tree: 77f79b6814cdc725f471758bfb2cbfef7bcb91d7

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.