Awesome

This repository has been frozen. Lean 4 is now the official release.

About

Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.