commit: 4ce509b3a5e402106a63960d647aea37c793d378

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Sun Jul 07 18:32:50 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Sun Jul 07 18:32:50 2024 +0200
tree: 6e70fdfb345b2594c2274d67ea9b6ea9152b39a7
parent: 2873696ca67bdd51f383f077c8ca42e0f005f6d0 [diff]

chore: update stage0

25 files changed

tree: 6e70fdfb345b2594c2274d67ea9b6ea9152b39a7

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