commit: 34df7320668250fa586c2bbb706637896581a3f9

[log]
author: Lean stage0 autoupdater

Wed May 20 11:40:02 2026 +0000
committer: Lean stage0 autoupdater

Wed May 20 11:40:02 2026 +0000
tree: dcdb3fdaaaa677743140560ee4b7f84e42375177
parent: 8398048832297d35c8995827956eb781d4ae5991 [diff]

chore: update stage0

499 files changed

tree: dcdb3fdaaaa677743140560ee4b7f84e42375177

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.