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 distribtions 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