[ 源代码： coq ]
软件包：coq（8.9.0-1）
coq 的相关链接
Debian 的资源：
下载源码包 coq：
维护小组：
- Debian OCaml Maintainers (QA 页面, 邮件存档)
- Benjamin Barenblat (QA 页面)
- Ralf Treinen (QA 页面)
- Samuel Mimram (QA 页面)
- Stéphane Glondu (QA 页面)
- Enrico Tassi (QA 页面)
外部的资源：
- 主页 [coq.inria.fr]
相似软件包：
proof assistant for higher-order logic (toplevel and compiler)
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
This package provides coqtop, a command line interface to Coq.
The proofgeneral package allows proofs to be edited using Emacs and XEmacs.
其他与 coq 有关的软件包
|
|
|
|
-
- dep: coq-theories (= 8.9.0-1)
- proof assistant for higher-order logic (theories)
-
- dep: libc6 (>= 2.28)
- GNU C 语言运行库：共享库
同时作为一个虚包由这些包填实： libc6-udeb
-
- dep: libcoq-ocaml-35sv0 [i386]
- 本虚包由这些包填实： libcoq-ocaml
-
- dep: libcoq-ocaml-fl0a8 [armhf]
- 本虚包由这些包填实： libcoq-ocaml
-
- dep: libcoq-ocaml-m8xw4 [amd64]
- 本虚包由这些包填实： libcoq-ocaml
-
- dep: libcoq-ocaml-yvk13 [arm64]
- 本虚包由这些包填实： libcoq-ocaml
-
- dep: ocaml-base-nox-4.05.0
- 本虚包由这些包填实： ocaml-base-nox
-
- dep: ocaml-findlib
- management tool for OCaml libraries
-
- dep: ocaml-nox
- ML implementation with a class-based object system (no X)
-
- dep: python3
- 交互式高级面向对象语言（默认 python3 版本）
-
- sug: coq-doc
- 软件包暂时不可用
-
- sug: ledit
- line editor for interactive programs
- 或者 readline-editor
- 本虚包由这些包填实： ledit, rlfe, rlwrap
-
- sug: libcoq-ocaml-dev
- development libraries and tools for Coq
-
- sug: proofgeneral
- 软件包暂时不可用
-
- sug: why (>= 2.19)
- 软件包暂时不可用