commit: 1a80f32a65d653bbab709d71e215fc8cdeceadae

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

Fri Jun 20 06:50:17 2025 -0700
committer: Cameron Zwarich <cameron@lean-fro.org>

Fri Jun 20 06:50:17 2025 -0700
tree: 06a6239bb241b167b333b1ef65ebaac585ea0d66
parent: b6674b2c36a91778e03cc8082380af173ed89e1e [diff]

chore: update stage0

37 files changed

tree: 06a6239bb241b167b333b1ef65ebaac585ea0d66

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.