| License | Windows | Linux / macOS | Test Coverage | Chat |
|---|---|---|---|---|
 |
 |
 |
 |
- Lean Homepage
- Lean Prover Community Homepage
- Theorem Proving in Lean
- Change Log
- Lean 3.4.2 FAQ
- Important: Lean 3.4.2 is the last official release for the Lean 3.x code base. This fork is maintained and updated by the Lean community. The Lean developers are currently developing Lean 4.
- For HoTT mode, please use Lean2.
Stable binary releases of Lean are available on the release page. Nightly binary releases are available on the nightly release page. For building Lean from source, see the build instructions.
- Building Doxygen Documentation:
doxygen src/Doxyfile - Coding Style
- Library Style Conventions
- Git Commit Conventions
- Automatic Builds
- Syntax Highlight Lean Code in LaTeX
- Exporting, and reference type-checkers