[ ソース: 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)
- 高階論理用の証明アシスタント (理論)
-
- 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 言語の実装
-
- dep: python3
- 対話式の高レベルオブジェクト指向言語 (デフォルト python3 バージョン)
-
- sug: coq-doc
- パッケージは利用できません
-
- sug: ledit
- 対話的プログラム向けのラインエディタ
- または readline-editor
- 以下のパッケージによって提供される仮想パッケージです: ledit, rlfe, rlwrap
-
- sug: libcoq-ocaml-dev
- development libraries and tools for Coq
-
- sug: proofgeneral
- パッケージは利用できません
-
- sug: why (>= 2.19)
- パッケージは利用できません