Download

Binary

There are binary packages available for all major platforms here:

All previous releases are available here:

Nightlies

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.

Source

The source code can be downloaded here:

Editor Support

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