| This is the repository for **Lean 4**. | |
| We provide [nightly releases](https://github.com/leanprover/lean4-nightly/releases) | |
| and have just begun regular [stable point releases](https://github.com/leanprover/lean4/releases). | |
| # About | |
| - [Quickstart](https://github.com/leanprover/lean4/blob/master/doc/quickstart.md) | |
| - [Walkthrough installation video](https://www.youtube.com/watch?v=yZo6k48L0VY) | |
| - [Quick tour video](https://youtu.be/zyXtbb_eYbY) | |
| - [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/) | |
| - [Manual](https://lean-lang.org/lean4/doc/) | |
| - [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). |