commit: 95f38e812afb4e578b50c0f4d7d41299909b713b

[log]
author: Cameron Zwarich <cameron@lean-fro.org>

Wed May 21 15:18:08 2025 -0700
committer: Cameron Zwarich <cameron@lean-fro.org>

Wed May 21 15:18:08 2025 -0700
tree: 1fda1341b59ecb025574e9c62903b4e5d9a0922d
parent: d53c109a2da315f911c5b216f52276ebe8a39ddb [diff]

chore: update stage0

290 files changed

tree: 1fda1341b59ecb025574e9c62903b4e5d9a0922d

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.