本站面向开发者与科研用户，提供开源镜像的搜索和下载加速服务。
所有镜像均来源于原始开源仓库，本站不存储、不修改、不传播任何镜像内容。
Docker镜像搜索：coq - 轩辕镜像平台
coq 相关Docker镜像搜索结果（共5个）
coq 搜索结果统计说明
coq 搜索提示
coq 官方镜像筛选
coq 官方镜像列表
coq 官方镜像筛选说明
coq 认证发布者镜像筛选
coq 认证镜像列表
coq 认证镜像筛选说明
coq 相关镜像列表
coq 镜像卡片展示
coq 镜像详情说明
加载更多 coq 镜像
加载更多 coq 按钮
加载提示
coqorg/coq
by Rocq-community
Coq（8.4至8.20版本）的Docker镜像，由Rocq社区项目提供，用于提供交互式定理证明器的运行环境。
13 星标1M+ 次下载
上次更新：3 个月前
coqorg/base
by Rocq-community
Coq证明助手Docker镜像的父镜像（警告：此仓库已不再活跃）
3 星标50K+ 次下载
上次更新：10 个月前
proofgeneral/coq-emacs
by proofgeneral
集成Coq、Emacs和Proof General的Docker镜像，用于运行和测试Proof General证明辅助工具。
0 星标50K+ 次下载
上次更新：4 个月前
mathcomp/mathcomp
by mathcomp
用于Coq证明助手的Mathematical Components（MathComp）库稳定版本的Docker镜像，提供标准化环境支持定理证明和数学形式化开发。
3 星标100K+ 次下载
上次更新：16 天前
mathcomp/mathcomp-dev
by mathcomp
Mathematical Components库开发版（master分支最新构建）的Docker镜像，适用于Rocq Prover证明助手
1 星标50K+ 次下载
上次更新：1 天前
第 1 页