| This is the repository for **Lean 4**, which is currently being released as milestone releases towards a first stable release. | |
| [Lean 3](https://github.com/leanprover/lean) is still the latest stable release. | |
| # About | |
| - [Homepage](https://leanprover.github.io) | |
| - [Manual](https://leanprover.github.io/lean4/doc/) | |
| - [FAQ](https://leanprover.github.io/lean4/doc/faq.html) | |
| # Installation | |
| See [Setting Up Lean](https://leanprover.github.io/lean4/doc/setup.html). | |
| # Contributing | |
| Please read our [Contribution Guidelines](CONTRIBUTING.md) first. | |
| # Building from Source | |
| See [Building Lean](https://leanprover.github.io/lean4/doc/make/index.html). |