commit: 3a2ffd7d52cc05c6785fb5452baed7f275177f1a

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

Mon Nov 03 05:08:53 2025 +0100
committer: Kim Morrison <kim@tqft.net>

Mon Nov 03 05:46:31 2025 +0100
tree: 4afd2a86a1a171448632761eb7ccd125f2689005
parent: 81481fd0a2476597b33ed0ac52a43f38f308a7cd [diff]

chore: update stage0

379 files changed

tree: 4afd2a86a1a171448632761eb7ccd125f2689005

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.