Ubuntu 12 Installation

Lean Emacs mode requires Emacs version 24.3 (or greater). This version is not available by default in Ubuntu 12.04. You have to execute the following commands to install it.

sudo add-apt-repository ppa:cassou/emacs
sudo apt-get update
sudo apt-get install emacs24

Use the following commands to install Lean using PPA:

sudo apt-get install python-software-properties
sudo add-apt-repository ppa:ubuntu-toolchain-r/test -y
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.