leanprovercommunity/lean repository overview

⁠Docker images for Lean 4 development

The docker images in this repository contain:

• elan⁠, the Lean version manager
• lake⁠, the Lean project manager

These images are community-maintained. See the community website⁠ for more information about the community. The current images maintainer is Yaël Dillies (YaelDillies on GitHub). Please contact on Zulip if you have troubles using those images!