commit: ec60620534cc25d1e16612468a7d3ba80cf91938

[log]
author: Lean stage0 autoupdater

Sun Feb 01 03:54:16 2026 +0000
committer: Lean stage0 autoupdater

Sun Feb 01 03:54:16 2026 +0000
tree: 676c139c87d42f5049c6921227118d4fee421154
parent: 4606c35c40a8260a3384b161e7fd07f620c2107c [diff]

chore: update stage0

747 files changed

tree: 676c139c87d42f5049c6921227118d4fee421154

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.