commit: e3fd954318fb23038455e27a193cd63d8dad432d

[log]
author: Lean stage0 autoupdater

Fri Jan 17 04:30:58 2025 +0000
committer: Lean stage0 autoupdater

Fri Jan 17 04:30:58 2025 +0000
tree: 3a37b541e2dd882e80c54dfab90b9329f25bcecd
parent: b7815b56843f5da8ce9d31bbf9d53a2f5ce2a85d [diff]

chore: update stage0

57 files changed

tree: 3a37b541e2dd882e80c54dfab90b9329f25bcecd

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