There are binary packages available for all major platforms here:

All previous releases are available here:


Binaries of the latest development version are also available for all platforms:

These binaries are updated automatically whenever the master branch passes the Lean test suite.


The source code can be downloaded here:

Editor Support

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

  • Emacs: you will need Emacs24 (or later). For more information on configuring Emacs and installing unicode-friendly fonts, see here.

  • Visual Studio Code is available for all major platforms. The Lean extension is available in its marketplace.