commit: 3ce554abd7dc0baefe362a7449bba8bc970da429

[log]
author: Lean stage0 autoupdater

Thu Sep 18 13:48:00 2025 +0000
committer: Lean stage0 autoupdater

Thu Sep 18 13:48:00 2025 +0000
tree: 5f8e6b130bedebeb53c79beb626b881413b481c2
parent: 257c347f9f2b78ed5aaf47c3247d6db4edc9aada [diff]

chore: update stage0

339 files changed

tree: 5f8e6b130bedebeb53c79beb626b881413b481c2

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.