Ubuntu 14/15/16 Installation

Lean Emacs mode requires Emacs version 24.3 (or greater). The Lean Emacs mode is a complete IDE for editing Lean files. If you want to use Lean Emacs mode to edit Lean files, and don’t have Emacs on your system, you can install it using

sudo apt-get install emacs24

Use the following commands to install Lean using PPA:

sudo add-apt-repository ppa:leanprover/lean
sudo apt-get update
sudo apt-get install lean

Once installed via PPA, you can use the standard sudo apt-get upgrade to get the latest version of Lean.

The command leanemacs starts Emacs with the Lean mode automatically configured for you.

If you prefer you can manually configure the Lean Emacs mode using the instructions available here.