[ 原始碼： 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
- interactive high-level object-oriented language (default python3 version)
-
- 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)
- 套件暫時不可用