| This is the repository for **Lean 4**. | |
| # About | |
| - [Quickstart](https://lean-lang.org/documentation/setup/) | |
| - [Homepage](https://lean-lang.org) | |
| - [Theorem Proving Tutorial](https://lean-lang.org/theorem_proving_in_lean4/) | |
| - [Functional Programming in Lean](https://lean-lang.org/functional_programming_in_lean/) | |
| - [Documentation Overview](https://lean-lang.org/documentation/) | |
| - [Language Reference](https://lean-lang.org/doc/reference/latest/) | |
| - [Release notes](RELEASES.md) starting at v4.0.0-m3 | |
| - [Examples](https://lean-lang.org/documentation/examples/) | |
| - [External Contribution Guidelines](CONTRIBUTING.md) | |
| # Installation | |
| See [Setting Up Lean](https://lean-lang.org/documentation/setup/). | |
| # Contributing | |
| Please read our [Contribution Guidelines](CONTRIBUTING.md) first. | |
| # Building from Source | |
| See [Building Lean](doc/make/index.md). |