本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。
所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。
轩辕镜像 - 国内开发者首选的专业 Docker 镜像下载加速服务平台 - 官方QQ群:13763429 👈点击免费获得技术支持。
本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。
本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。
本站支持搜索的镜像仓库：Docker Hub、gcr.io、ghcr.io、quay.io、k8s.gcr.io、registry.gcr.io、elastic.co、mcr.microsoft.com
rocq-prover Docker 镜像下载 - 轩辕镜像
rocq-prover 镜像详细信息和使用指南
rocq-prover 镜像标签列表和版本信息
rocq-prover 镜像拉取命令和加速下载
rocq-prover 镜像使用说明和配置指南
Docker 镜像加速服务 - 轩辕镜像平台
国内开发者首选的 Docker 镜像加速平台
极速拉取 Docker 镜像服务
相关 Docker 镜像推荐
热门 Docker 镜像下载
rocq/rocq-prover
rocq-prover 镜像详细信息
rocq-prover 镜像标签列表
rocq-prover 镜像使用说明
rocq-prover 镜像拉取命令
Docker 镜像加速服务
轩辕镜像平台优势
镜像下载指南
相关 Docker 镜像推荐
Rocq Prover的Docker镜像，基于Debian 12 Slim和opam 2.x，提供便捷的形式化证明环境，支持稳定版（如9.1、9.0）和开发版（dev）等多种标签，适用于本地开发与CI场景。
2 收藏0 次下载activerocq镜像
rocq-prover 镜像详细说明
rocq-prover 使用指南
rocq-prover 配置说明
rocq-prover 官方文档
rocq/rocq-prover
该仓库提供Rocq Prover的Docker镜像。
这些镜像基于rocq/base父镜像构建，而rocq/base镜像本身基于Debian 12 Slim，并依赖最新版本的opam 2.x：
| GitHub仓库 | 类型 | Docker Hub | |
|---|---|---|---|
| docker-coq-action | GitHub Action | N/A | |
| ⊙ | docker-rocq | Dockerfile | rocq/rocq-prover |
| ↳ | docker-base | Dockerfile | rocq/base |
| ↳ | Debian | Linux发行版 | debian |
有关如何在本地或CI环境中使用此类镜像的详细信息，另请参阅docker-coq wiki。
此Dockerfile仓库在GitLab上有镜像，但issues和pull requests在GitHub上跟踪。
[!NOTE]
请注意，本仓库仅包含Rocq Prover ≥9.0的Docker镜像。
对于Coq Proof Assistant ≤8.20.1的早期版本，请使用coqorg/coq镜像。
[!TIP]
对于大多数使用场景，标签
9.1（稳定版）和dev（开发版）最为常用。
建议在CI中省略补丁版本号（使用9.1而非9.1-rc1或9.1.0），这样当Rocq Prover发布新的补丁版本时，无需更改所选的Docker标签。
核心功能与特性
基础架构
- 底层依赖：基于rocq/base镜像，该镜像构建于Debian 12 Slim之上，确保轻量级且稳定的运行环境
- 包管理：集成opam 2.x，提供OCaml生态系统的包管理支持，便于依赖管理和环境配置
版本支持
- 最低版本：仅支持Rocq Prover ≥9.0，早期版本需使用coqorg/coq镜像
- 多版本覆盖：提供稳定版本（如9.1、9.0系列）和开发版本（dev系列），满足不同阶段的使用需求
标签多样性
- 版本标识：标签包含Rocq Prover版本（如9.1.0、9.0）、OCaml版本（如4.14.2、4.13.1）、编译特性（如native、flambda）等信息
- 简化标签：提供省略次要版本或补丁版本的标签（如9.1、latest），便于自动适配更新
使用场景
本地开发
为形式化证明开发提供隔离、一致的环境，避免本地环境配置冲突。
CI/CD集成
可无缝集成到GitHub Actions、GitLab CI等持续集成流程中，实现证明脚本的自动化验证。
版本测试
通过切换不同标签（如稳定版与开发版），便捷测试不同版本Rocq Prover的兼容性。
使用方法
拉取镜像
从Docker Hub拉取指定标签的镜像：
# 拉取稳定版9.1 docker pull rocq/rocq-prover:9.1 # 拉取开发版 docker pull rocq/rocq-prover:dev
运行容器
基本交互式运行
启动容器并进入交互式shell：
docker run -it --rm rocq/rocq-prover:9.1 bash
挂载本地项目
将本地项目目录挂载到容器中，进行证明开发：
docker run -it --rm -v $(pwd):/home/coq/project rocq/rocq-prover:9.1 bash
进入容器后，可在/home/coq/project目录下执行Rocq Prover命令（如rocqtop、rocqc）。
支持的标签及对应Dockerfile链接
dev-ocaml-4.14.2-flambda,dev-ocaml-4.14-flambda,devdev-native-ocaml-4.14.2,dev-native-ocaml-4.14,dev-nativedev-native-ocaml-4.14.2-flambda,dev-native-ocaml-4.14-flambda,dev-native-flambda9.1.0-ocaml-4.14.2-flambda,9.1-ocaml-4.14-flambda,9.1.0,9.1,latest-ocaml-4.14-flambda,latest9.1.0-native-ocaml-4.14.2,9.1-native-ocaml-4.14,9.1.0-native,9.1-native,latest-native-ocaml-4.14,latest-native9.1.0-native-ocaml-4.14.2-flambda,9.1-native-ocaml-4.14-flambda,9.1.0-native-flambda,9.1-native-flambda,latest-native-ocaml-4.14-flambda,latest-native-flambda9.0.1-ocaml-4.14.2-flambda,9.0-ocaml-4.14-flambda,9.0.1,9.09.0.1-ocaml-4.13.1-flambda,9.0-ocaml-4.13-flambda9.0.1-ocaml-4.12.1-flambda,9.0-ocaml-4.12-flambda9.0.1-ocaml-4.09.1-flambda,9.0-ocaml-4.09-flambda9.0.1-native-ocaml-4.14.2,9.0-native-ocaml-4.14,9.0.1-native,9.0-native9.0.1-native-ocaml-4.14.2-flambda,9.0-native-ocaml-4.14-flambda,9.0.1-native-flambda,9.0-native-flambda
caprover/caprover
by caprover
CapRover是一款极易使用的应用/数据库部署与Web服务器管理工具，支持NodeJS、Python、PHP等多种应用及MySQL、MongoDB等数据库，基于Docker、nginx等技术，通过简洁界面提供快速、稳定的服务器管理功能。
30100M+ pulls
上次更新：4 个月前
caprover/cli-caprover
by caprover
CapRover CLI工具的Docker镜像，用于自动化部署和管理应用，支持服务器配置、应用部署等操作。
100K+ pulls
上次更新：5 天前
caprover/caprover-edge
by caprover
该镜像是推送时自动构建的版本，主要用于测试，同时作为简易的应用/数据库部署平台，支持NodeJS、Python、PHP、Ruby、Go等应用，无需Docker和nginx知识即可快速部署。
2100K+ pulls
上次更新：5 天前
常见问题
轩辕镜像免费版与专业版有什么区别？
免费版仅支持 Docker Hub 加速，不承诺可用性和速度；专业版支持更多镜像源，保证可用性和稳定速度，提供优先客服响应。
轩辕镜像免费版与专业版有分别支持哪些镜像？
免费版仅支持 docker.io；专业版支持 docker.io、gcr.io、ghcr.io、registry.k8s.io、nvcr.io、quay.io、mcr.microsoft.com、docker.elastic.co 等。
流量耗尽错误提示
当返回 402 Payment Required 错误时，表示流量已耗尽，需要充值流量包以恢复服务。
410 错误问题
通常由 Docker 版本过低导致，需要升级到 20.x 或更高版本以支持 V2 协议。
manifest unknown 错误
先检查 Docker 版本，版本过低则升级；版本正常则验证镜像信息是否正确。
镜像拉取成功后，如何去掉轩辕镜像域名前缀？
使用 docker tag 命令为镜像打上新标签，去掉域名前缀，使镜像名称更简洁。
轩辕镜像下载加速使用手册
探索更多轩辕镜像的使用方法，找到最适合您系统的配置方式
登录方式进行 Docker 镜像下载加速教程
通过 Docker 登录方式配置轩辕镜像加速服务，包含7个详细步骤
Linux Docker 镜像下载加速教程
在 Linux 系统上配置轩辕镜像源，支持主流发行版
Windows/Mac Docker 镜像下载加速教程
在 Docker Desktop 中配置轩辕镜像加速，适用于桌面系统
Docker Compose 镜像下载加速教程
在 Docker Compose 中使用轩辕镜像加速，支持容器编排
K8s containerd 镜像下载加速教程
在 k8s 中配置 containerd 使用轩辕镜像加速
宝塔面板 Docker 镜像下载加速教程
在宝塔面板中配置轩辕镜像加速，提升服务器管理效率
群晖 NAS Docker 镜像下载加速教程
在 Synology 群晖NAS系统中配置轩辕镜像加速
飞牛fnOS Docker 镜像下载加速教程
在飞牛fnOS系统中配置轩辕镜像加速
极空间 NAS Docker 镜像下载加速教程
在极空间NAS中配置轩辕镜像加速
爱快路由 ikuai Docker 镜像下载加速教程
在爱快ikuai系统中配置轩辕镜像加速
绿联 NAS Docker 镜像下载加速教程
在绿联NAS系统中配置轩辕镜像加速
威联通 NAS Docker 镜像下载加速教程
在威联通NAS系统中配置轩辕镜像加速
Podman Docker 镜像下载加速教程
在 Podman 中配置轩辕镜像加速，支持多系统
ghcr、Quay、nvcr、k8s、gcr 等仓库下载镜像加速教程
配置轩辕镜像加速9大主流镜像仓库，包含详细配置步骤
专属域名方式进行 Docker 镜像下载加速教程
无需登录即可使用轩辕镜像加速服务，更加便捷高效
需要其他帮助？请查看我们的 常见问题 或 官方QQ群: 13763429