commit: 488bfe2128a1c5ff0e96c45cf6a382655dc7c703

[log]
author: Lean stage0 autoupdater

Fri Feb 09 12:46:12 2024 +0000
committer: Lean stage0 autoupdater

Fri Feb 09 12:46:12 2024 +0000
tree: 50395566eee181ef7aa680ff3536e43757cca6f4
parent: 55402a5899b708a3211f198f6606ed536c882a79 [diff]

chore: update stage0

8 files changed

tree: 50395566eee181ef7aa680ff3536e43757cca6f4

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.