seanleather/lean repository overview

⁠Lean in Docker

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