commit: b6177bad9c4d26a040d7f83a0bbbe4572e48459e

[log]
author: Lean stage0 autoupdater

Mon Dec 09 22:30:45 2024 +0000
committer: Lean stage0 autoupdater

Mon Dec 09 22:30:45 2024 +0000
tree: 8bd1d5b8ba06a0cef37b19a2f5cecbf7358292c2
parent: 2e11b8ac8879f48ad73ffa06386c017aa58fabe5 [diff]

chore: update stage0

39 files changed

tree: 8bd1d5b8ba06a0cef37b19a2f5cecbf7358292c2

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).