This webpage is about Lean 3, which is effectively obsolete; the community has migrated to Lean 4.

Jump to the corresponding page on the main Lean 4 website.

Installing Lean and mathlib on Linux #

This document explains how to get started with Lean and mathlib on a generic Linux distribution (there is a specific page for Debian and derived distributions such as Ubuntu).

All commands below should be typed inside a terminal.

Lean Projects #

You can now read instructions about creating and working on Lean projects