commit: 2bc58502611555fc2d155626bf5a31226245fbb1

[log]
author: Kim Morrison <kim@tqft.net>

Mon Oct 20 19:45:02 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Oct 20 19:45:02 2025 +1100
tree: 9aea3722d7b78b07a3fe8033052016e06471cf49
parent: 4d690059e21ca252ab54eafe95a6293fea3c821e [diff]

chore: update stage0

258 files changed

tree: 9aea3722d7b78b07a3fe8033052016e06471cf49

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.