Lean in Docker A Dockerfile that builds Lean from the repository and installs it at /usr/local on a minimal Alpine Linux container.