Download

Binary

There are binary packages available for all major platforms here:

All previous releases are available here:

Nightlies

Nightly builds of Lean’s master branch can be found in the following repository:

Source

The source code can be downloaded here:

Editor Support

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