commit: 4391bc2977d3bf16f6780bb830c5fcd51f426d7d

[log]
author: Lean stage0 autoupdater

Wed Mar 20 22:45:34 2024 +0000
committer: Lean stage0 autoupdater

Wed Mar 20 22:45:34 2024 +0000
tree: 8ba63f095e4d2b40be87334a44c8cf67f3b138ab
parent: 40b5282ec21dc80fb9f10b7c2575a2957c0fdf53 [diff]

chore: update stage0

23 files changed

tree: 8ba63f095e4d2b40be87334a44c8cf67f3b138ab

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.