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
Use the following commands to install Lean using PPA:
Once installed via PPA, you can use the standard
sudo apt-get upgrade to get the latest version of Lean.
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.