commit: 8d92ff842f9a101e868b9ebeac97aae903463188

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

Fri Nov 21 18:16:23 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Nov 21 18:16:57 2025 +1100
tree: 13144a4d1fc099230d8d0d0d1a1135e0807c03f1
parent: f13bbaed5c196646372a7d858db8ea0483035e77 [diff]

chore: update stage0

393 files changed

tree: 13144a4d1fc099230d8d0d0d1a1135e0807c03f1

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.