leanprovercommunity/lean Docker 镜像 - 轩辕镜像 | Docker 镜像高效稳定拉取服务
leanprovercommunity/leanleanprovercommunity
用于Lean 4开发的软件工具
下载次数: 0状态：社区镜像维护者：leanprovercommunity仓库类型：镜像最近更新：1 年前
Lean 4开发Docker镜像
镜像概述和主要用途
本仓库中的Docker镜像包含Lean 4开发所需的核心工具，为开发者提供便捷的Lean 4开发环境。
核心功能和特性
- elan：Lean版本管理器（项目地址），用于安装、管理和切换不同版本的Lean
- lake：Lean项目管理器（项目地址），用于Lean项目的构建和依赖管理
使用场景和适用范围
适用于需要快速搭建Lean 4开发环境的开发者，尤其适合希望避免本地环境配置复杂性、确保开发环境一致性的用户。
使用方法和配置说明
基本使用流程
-
获取镜像
从仓库拉取最新版本的Lean 4开发镜像（具体镜像名称请参考实际仓库标签）：bashdocker pull <镜像名称>:latest -
启动容器
运行容器并进入交互式终端以开始开发：bashdocker run -it --rm <镜像名称>:latest /bin/bash
维护信息
- 本镜像为社区维护项目，更多社区信息请访问Lean社区网站
- 当前镜像维护者：Yaël Dillies（GitHub：YaelDillies）
- 如有使用问题，请通过Zulip联系获取支持
轩辕镜像配置手册
探索更多轩辕镜像的使用方法，找到最适合您系统的配置方式
Docker 配置
登录仓库拉取
通过 Docker 登录认证访问私有仓库
专属域名拉取
无需登录使用专属域名
K8s Containerd
Kubernetes 集群配置 Containerd
K3s
K3s 轻量级 Kubernetes 镜像加速
Dev Containers
VS Code Dev Containers 配置
Podman
Podman 容器引擎配置
Singularity/Apptainer
HPC 科学计算容器配置
其他仓库配置
ghcr、Quay、nvcr 等镜像仓库
Harbor 镜像源配置
Harbor Proxy Repository 对接专属域名
Portainer 镜像源配置
Portainer Registries 加速拉取
Nexus 镜像源配置
Nexus3 Docker Proxy 内网缓存
系统配置
需要其他帮助？请查看我们的 常见问题Docker 镜像访问常见问题解答 或 提交工单
镜像拉取常见问题
使用与功能问题
错误码与失败问题
docker pull 提示 manifest unknown 怎么办？
manifest unknown
docker pull 提示 no matching manifest 怎么办？
no matching manifest（架构）
Docker pull 时 HTTPS / TLS 证书验证失败怎么办？
TLS 证书失败
Docker pull 时 DNS 解析超时或连不上仓库怎么办？
DNS 超时
Docker 拉取出现 410 Gone 怎么办？
410 Gone 排查
出现 402 或「流量用尽」提示怎么办？
402 与流量用尽
Docker 拉取提示 UNAUTHORIZED（401）怎么办？
401 认证失败
遇到 429 Too Many Requests（请求太频繁）怎么办？
429 限流
docker login 提示 Cannot autolaunch D-Bus，还算登录成功吗？
D-Bus 凭证提示
为什么会出现「单层超过 20GB」或 413，无法加速拉取？
413 与超大单层
账号 / 计费 / 权限
用户好评
来自真实用户的反馈，见证轩辕镜像的优质服务
oldzhang
运维工程师
Linux服务器
5
"Docker访问体验非常流畅，大镜像也能快速完成下载。"