leanprovercommunity/mathlib 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

On top of this, the gitpod image contains:

• Neovim
• Python 3
• a TeXLive⁠ installation
• Graphviz⁠
• LeanBlueprint⁠, the tool to manage blueprints for large Lean collaborations

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!