commit: 6d8a16f1375541b91b899b2417419694721dfafa

[log]
author: Lean stage0 autoupdater

Sat Dec 13 09:57:36 2025 +0000
committer: Lean stage0 autoupdater

Sat Dec 13 09:57:36 2025 +0000
tree: a08c5af2b7d3e198e77b1324e634c522249e7c0a
parent: f0e594d5dbd4cd4d6e429b23bebef32a5b793e7f [diff]

chore: update stage0

2 files changed

tree: a08c5af2b7d3e198e77b1324e634c522249e7c0a

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.