パッケージ: coq (8.2.pl2+dfsg-1)

coq に関するリンク

Coq は、高階述語論理用の証明アシスタントであり、形式的な仕様との整合性を保つコンピュータプログラムの開発が可能です。Objective Caml と Camlp5 を用いて開発されています。

本パッケージは Coq へのコマンドラインインターフェイス coqtop を提供します。

Coq 用 GUI は coqide パッケージにて提供されます。 Coq は ProofGeneral とも併用でき、証明を emacs や xemacs により編集できるようになります。これには proofgeneral-coq パッケージのインストールが必要です。

タグ: ソフトウェア開発: コンパイラ, 分野: 数学, 実装言語: OCaml, ユーザインタフェース: コマンドライン, テキストベースの対話, 役割: プログラム, 対象範囲: ユーティリティ, インタフェースツールキット: Ncurses TUI

dep: coq-theories (= 8.2.pl2+dfsg-1)

高階論理用の証明アシスタント (理論)
dep: emacsen-common

全 Emacsen 用の共通機能
dep: libc0.1 (>= 2.7) [kfreebsd-amd64, kfreebsd-i386]

組込用 GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc0.1-udeb
dep: libc6 (>= 2.1.3) [s390]

組込用 GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

dep: libc6 (>= 2.2) [mips, mipsel]

dep: libc6 (>= 2.4) [armel]

dep: libc6 (>= 2.7) [amd64, i386, powerpc, sparc]
dep: libc6.1 (>= 2.2) [ia64]

組込用 GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6.1-udeb
dep: libgcc1 (>= 1:4.4.0) [armel]

GCC 共有ライブラリ
dep: ocaml-base-nox-3.11.2

以下のパッケージによって提供される仮想パッケージです: ocaml-base-nox

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
amd64	14,995.1 kB	52,460.0 kB	[ファイル一覧]
armel	3,586.3 kB	18,140.0 kB	[ファイル一覧]
i386	13,393.7 kB	43,664.0 kB	[ファイル一覧]
ia64	3,588.0 kB	18,188.0 kB	[ファイル一覧]
kfreebsd-amd64	14,990.1 kB	52,552.0 kB	[ファイル一覧]
kfreebsd-i386	13,389.8 kB	43,758.0 kB	[ファイル一覧]
mips	3,583.7 kB	18,156.0 kB	[ファイル一覧]
mipsel	3,585.1 kB	18,152.0 kB	[ファイル一覧]
powerpc	15,019.2 kB	46,228.0 kB	[ファイル一覧]
s390	3,585.8 kB	18,140.0 kB	[ファイル一覧]
sparc	15,086.1 kB	46,948.0 kB	[ファイル一覧]