Public | Automated Build

Last pushed: 2 years ago
Short Description
Lean prover built from source, installed along with Emacs and lean-mode
Full Description

Lean with Emacs and lean-mode in Docker

A Dockerfile that builds Lean
from the repository and installs GNU
Emacs
with
lean-mode
on a minimal Alpine Linux container.

Docker Pull Command
Owner
seanleather
Source Repository

Comments (0)