[ lenny ] [ squeeze ] [ squeeze-backports ] [ wheezy ] [ sid ] [ experimental ]

[ ソース: coq ]

パッケージ: coq (8.1.pl3+dfsg-1 など)

coq に関するリンク

Coq は、高位論理用の証明アシスタントであり、形式仕様の整合性を保つコンピュータプログラムの開発が可能です。Objective Caml と Camlp4 を用いて開発されています。詳細は、<http://coq.inria.fr/> を参照してください。

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

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

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

dep: coq-libs (= 8.1.pl3+dfsg-1)

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

全 Emacsen 用の共通機能
dep: libc6 (>= 2.7-1) [alpha, ia64 以外]

GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
dep: libc6.1 (>= 2.7-1) [alpha, ia64]

GNU C Library: Shared libraries
以下のパッケージによって提供される仮想パッケージでもあります: libc6.1-udeb
dep: libgcc1 (>= 1:4.3) [armel]

GCC 共有ライブラリ
dep: libncurses5 (>= 5.6+20071006-3)

ターミナル処理用共有ライブラリ
dep: ocaml-base-nox-3.10.2

以下のパッケージによって提供される仮想パッケージです: ocaml-base-nox
dep: tex-common (>= 1.10)

common infrastructure for building and installing TeX

sug: cle

コマンドライン駆動型ツールの readline 付ラッパー
sug: coq-doc

documentation for Coq in html format
sug: ledit

対話的プログラム向けのラインエディタ
sug: ocaml-nox (>= 3.08)

ML language implementation with a class-based object system
sug: proofgeneral-coq

証明アシスタント用の汎用インターフェイス - coq サポート

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
alpha	8.1.pl3+dfsg-1+b2	4,238.4 kB	19,404.0 kB	[ファイル一覧]
amd64	8.1.pl3+dfsg-1+b2	8,825.9 kB	33,696.0 kB	[ファイル一覧]
arm	8.1.pl3+dfsg-1+b2	4,091.6 kB	18,804.0 kB	[ファイル一覧]
armel	8.1.pl3+dfsg-1+b2	4,116.3 kB	18,864.0 kB	[ファイル一覧]
hppa	8.1.pl3+dfsg-1+b2	4,180.0 kB	18,988.0 kB	[ファイル一覧]
i386	8.1.pl3+dfsg-1+b2	8,264.1 kB	30,272.0 kB	[ファイル一覧]
ia64	8.1.pl3+dfsg-1+b2	4,370.6 kB	20,380.0 kB	[ファイル一覧]
mips	8.1.pl3+dfsg-1+b2	4,145.0 kB	19,336.0 kB	[ファイル一覧]
mipsel	8.1.pl3+dfsg-1+b2	4,132.1 kB	19,316.0 kB	[ファイル一覧]
powerpc	8.1.pl3+dfsg-1+b2	9,236.7 kB	32,096.0 kB	[ファイル一覧]
s390	8.1.pl3+dfsg-1+b2	4,226.0 kB	19,076.0 kB	[ファイル一覧]
sparc	8.1.pl3+dfsg-1+b2	9,245.7 kB	32,372.0 kB	[ファイル一覧]