专属域名
文档搜索
提交工单
轩辕助手
返回顶部
快速返回页面顶部
收起
收起工具栏
轩辕镜像
轩辕镜像专业版
个人中心搜索镜像
交易
充值流量我的订单
工具
提交工单镜像收录一键安装
Npm 源Pip 源
帮助
常见问题
其他
关于我们网站地图

官方QQ群: 13763429

轩辕镜像
镜像详情
...
rocq/rocq-prover
官方博客热门镜像提交工单
本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。
所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。
轩辕镜像 —— 国内开发者首选的专业 Docker 镜像加速平台。在线技术支持请优先 提交工单，技术交流欢迎加入官方QQ群：13763429 。
本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。

rocq-prover Docker 镜像下载 - 轩辕镜像

rocq-prover 镜像详细信息和使用指南

rocq-prover 镜像标签列表和版本信息

rocq-prover 镜像拉取命令和加速下载

rocq-prover 镜像使用说明和配置指南

Docker 镜像加速服务 - 轩辕镜像平台

国内开发者首选的 Docker 镜像加速平台

极速拉取 Docker 镜像服务

相关 Docker 镜像推荐

热门 Docker 镜像下载

rocq-prover
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镜像
🚀轩辕镜像专业版更稳定💎一键安装 Docker 配置镜像源
中文简介版本下载
🚀轩辕镜像专业版更稳定💎一键安装 Docker 配置镜像源

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-actionGitHub ActionN/A
⊙docker-rocqDockerfilerocq/rocq-prover
↳docker-baseDockerfilerocq/base
↳DebianLinux发行版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拉取指定标签的镜像：

bash
# 拉取稳定版9.1
docker pull rocq/rocq-prover:9.1

# 拉取开发版
docker pull rocq/rocq-prover:dev

运行容器

基本交互式运行

启动容器并进入交互式shell：

bash
docker run -it --rm rocq/rocq-prover:9.1 bash

挂载本地项目

将本地项目目录挂载到容器中，进行证明开发：

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, dev
  • dev-native-ocaml-4.14.2, dev-native-ocaml-4.14, dev-native
  • dev-native-ocaml-4.14.2-flambda, dev-native-ocaml-4.14-flambda, dev-native-flambda
  • 9.1.0-ocaml-4.14.2-flambda, 9.1-ocaml-4.14-flambda, 9.1.0, 9.1, latest-ocaml-4.14-flambda, latest
  • 9.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-native
  • 9.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-flambda
  • 9.0.1-ocaml-4.14.2-flambda, 9.0-ocaml-4.14-flambda, 9.0.1, 9.0
  • 9.0.1-ocaml-4.13.1-flambda, 9.0-ocaml-4.13-flambda
  • 9.0.1-ocaml-4.12.1-flambda, 9.0-ocaml-4.12-flambda
  • 9.0.1-ocaml-4.09.1-flambda, 9.0-ocaml-4.09-flambda
  • 9.0.1-native-ocaml-4.14.2, 9.0-native-ocaml-4.14, 9.0.1-native, 9.0-native
  • 9.0.1-native-ocaml-4.14.2-flambda, 9.0-native-ocaml-4.14-flambda, 9.0.1-native-flambda, 9.0-native-flambda
查看更多 rocq-prover 相关镜像 →
caprover/caprover logo
caprover/caprover
by caprover
CapRover是一款极易使用的应用/数据库部署与Web服务器管理工具，支持NodeJS、Python、PHP等多种应用及MySQL、MongoDB等数据库，基于Docker、nginx等技术，通过简洁界面提供快速、稳定的服务器管理功能。
30100M+ pulls
上次更新：25 天前
caprover/cli-caprover logo
caprover/cli-caprover
by caprover
CapRover CLI工具的Docker镜像，用于自动化部署和管理应用，支持服务器配置、应用部署等操作。
100K+ pulls
上次更新：1 个月前

用户好评

来自真实用户的反馈，见证轩辕镜像的优质服务

oldzhang的头像

oldzhang

运维工程师

Linux服务器

5

"Docker加速体验非常流畅，大镜像也能快速完成下载。"

用户评价详情

oldzhang - 运维工程师

Linux服务器

5

Docker加速体验非常流畅，大镜像也能快速完成下载。

Nana - 后端开发

Mac桌面

4.9

配置Docker镜像源后，拉取速度快了数倍，开发体验提升明显。

Qiang - 平台研发

K8s集群

5

轩辕镜像在K8s集群中表现很稳定，容器部署速度明显加快。

小敏 - 测试工程师

Windows桌面

4.8

Docker镜像下载不再超时，测试环境搭建更加高效。

晨曦 - DevOps工程师

宝塔面板

5

配置简单，Docker镜像源稳定，适合快速部署环境。

阿峰 - 资深开发

群晖NAS

5

在群晖NAS上配置后，镜像下载速度飞快，非常适合家庭实验环境。

俊仔 - 后端工程师

飞牛NAS

4.9

Docker加速让容器搭建顺畅无比，再也不用等待漫长的下载。

Lily - 测试经理

Linux服务器

4.8

镜像源覆盖面广，更新及时，团队一致反馈体验不错。

浩子 - 云平台工程师

Podman容器

5

使用轩辕镜像后，Podman拉取镜像稳定无比，生产环境可靠。

Kai - 运维主管

爱快路由

5

爱快系统下配置加速服务，Docker镜像拉取速度提升非常大。

翔子 - 安全工程师

Linux服务器

4.9

镜像源稳定性高，安全合规，Docker拉取无忧。

亮哥 - 架构师

K8s containerd

5

大规模K8s集群下镜像加速效果显著，节省了大量时间。

慧慧 - 平台开发

Docker Compose

4.9

配置Compose镜像加速后，整体构建速度更快了。

Tina - 技术支持

Windows桌面

4.8

配置简单，镜像拉取稳定，适合日常开发环境。

宇哥 - DevOps Leader

极空间NAS

5

在极空间NAS上使用Docker加速，体验流畅稳定。

小静 - 数据工程师

Linux服务器

4.9

Docker镜像源下载速度快，大数据环境搭建轻松完成。

磊子 - SRE

宝塔面板

5

使用轩辕镜像后，CI/CD流程整体快了很多，值得推荐。

阿Yang - 前端开发

Mac桌面

4.9

国内网络环境下，Docker加速非常给力，前端环境轻松搭建。

Docker迷 - 架构师

威联通NAS

5

威联通NAS下配置镜像加速后，Docker体验比官方源好很多。

方宇 - 系统工程师

绿联NAS

5

绿联NAS支持加速配置，Docker镜像下载快且稳定。

常见问题

Q1:轩辕镜像免费版与专业版有什么区别？

免费版仅支持 Docker Hub 加速，不承诺可用性和速度；专业版支持更多镜像源，保证可用性和稳定速度，提供优先客服响应。

Q2:轩辕镜像免费版与专业版有分别支持哪些镜像？

免费版仅支持 docker.io；专业版支持 docker.io、gcr.io、ghcr.io、registry.k8s.io、nvcr.io、quay.io、mcr.microsoft.com、docker.elastic.co 等。

Q3:流量耗尽错误提示

当返回 402 Payment Required 错误时，表示流量已耗尽，需要充值流量包以恢复服务。

Q4:410 错误问题

通常由 Docker 版本过低导致，需要升级到 20.x 或更高版本以支持 V2 协议。

Q5:manifest unknown 错误

先检查 Docker 版本，版本过低则升级；版本正常则验证镜像信息是否正确。

Q6:镜像拉取成功后，如何去掉轩辕镜像域名前缀？

使用 docker tag 命令为镜像打上新标签，去掉域名前缀，使镜像名称更简洁。

查看全部问题→

轩辕镜像下载加速使用手册

探索更多轩辕镜像的使用方法，找到最适合您系统的配置方式

登录仓库拉取

通过 Docker 登录认证访问私有仓库

Linux

在 Linux 系统配置镜像加速服务

Windows/Mac

在 Docker Desktop 配置镜像加速

Docker Compose

Docker Compose 项目配置加速

K8s Containerd

Kubernetes 集群配置 Containerd

宝塔面板

在宝塔面板一键配置镜像加速

群晖

Synology 群晖 NAS 配置加速

飞牛

飞牛 fnOS 系统配置镜像加速

极空间

极空间 NAS 系统配置加速服务

爱快路由

爱快 iKuai 路由系统配置加速

绿联

绿联 NAS 系统配置镜像加速

威联通

QNAP 威联通 NAS 配置加速

Podman

Podman 容器引擎配置加速

Singularity/Apptainer

HPC 科学计算容器配置加速

其他仓库配置

ghcr、Quay、nvcr 等镜像仓库

专属域名拉取

无需登录使用专属域名加速

需要其他帮助？请查看我们的 常见问题 或 官方QQ群: 13763429

商务：17300950906
©2024-2025 源码跳动
商务合作电话：17300950906Copyright © 2024-2025 杭州源码跳动科技有限公司. All rights reserved.