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)
- [Theorem Proving Tutorial](https://leanprover.github.io/theorem_proving_in_lean4/)
- [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).
