Installing Lean 4 on Linux #

Note that these are legacy instructions provided by the community. The recommended way to install Lean and to create a project is to follow the instructions in the official Lean documentation.

Legacy instructions #

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