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: