commit: e83f78d5af8887d2d384e2405adf85e3ee72fec4

[log]
author: Lean stage0 autoupdater

Thu Aug 01 06:54:29 2024 +0000
committer: Lean stage0 autoupdater

Thu Aug 01 06:54:29 2024 +0000
tree: 156a3a820cb4d220e630fa59adfebfe79fd4c371
parent: 32b9de8c7736f5dc08c113a81adff662bb39ae01 [diff]

chore: update stage0

163 files changed

tree: 156a3a820cb4d220e630fa59adfebfe79fd4c371

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 (documentation source: doc/make/index.md).