Download

Binary

There are binary packages available for all major platforms here:

All previous releases are available here:

Source

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.