| This is the repository for **Lean 4**. | |
| # About | |
| - [Quickstart](https://lean-lang.org/lean4/doc/quickstart.html) | |
| - [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/lean4/doc/) | |
| - [Language Reference](https://lean-lang.org/doc/reference/latest/) | |
| - [Release notes](RELEASES.md) starting at v4.0.0-m3 | |
| - [Examples](https://lean-lang.org/lean4/doc/examples.html) | |
| - [External Contribution Guidelines](CONTRIBUTING.md) | |
| - [FAQ](https://lean-lang.org/lean4/doc/faq.html) | |
| # Installation | |
| See [Setting Up Lean](https://lean-lang.org/lean4/doc/setup.html). | |
| # Contributing | |
| Please read our [Contribution Guidelines](CONTRIBUTING.md) first. | |
| # Building from Source | |
| See [Building Lean](https://lean-lang.org/lean4/doc/make/index.html) (documentation source: [doc/make/index.md](doc/make/index.md)). |