Downloads

Stable releases of Lean 4 are published monthly, after community testing on the release candidate.

Please follow the official instructions if you have any questions. There is also an online version providing recent distributions of Lean 4 and m athlib4.

LEAN 4

Quickstart | Binaries | Nightly builds | Source Code

Support

If you could use help getting started and familiarizing yourself with Lean, our new members and other channels in our Community Forum on Zulip is a great place to start.

To check on the status of issues or open a new issues, visit our community page on GitHub.

You can also join our weekly office hours.

Editor Support

There are Visual Studio Code, Neovim and Emacs extensions, each of which support interactive editing.

QUICKSTART

PLAYGROUND

MANUAL

TOOLS