commit: 00eea2663259dc3a2a7979ee37708923921c637a

[log]
author: Joe Hendrix <joe@lean-fro.org>

Wed Feb 21 10:33:00 2024 -0800
committer: Joe Hendrix <joe@lean-fro.org>

Wed Feb 21 10:53:58 2024 -0800
tree: 1c7fa26d7a96caaf3cc1e9d43f6af5746c238e98
parent: 2dbb13022d08608e9e2da96eba2923d4d2fdf9e0 [diff]

chore: update stage0

4 files changed

tree: 1c7fa26d7a96caaf3cc1e9d43f6af5746c238e98

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.