https://github.com/leanprover/lean Quick and dirty hack to run the latest Lean on an Ubuntu 14.04 LTS system. To run it, you need to put a public ssh key on the current directory, named id_rsa.pub. Once the container is running, just ssh -Y -l root <IP> and execute /root/lean/bin/leanemacs_build (although YMMV)