Lean prover built from source, installed along with Emacs and lean-mode
314
A Dockerfile that builds Lean
from the repository and installs GNU
Emacs with
lean-mode
on a minimal Alpine Linux container.
Content type
Image
Digest
Size
119.3 MB
Last updated
over 10 years ago
docker pull seanleather/lean-emacs