[ buster ] [ bullseye ] [ sid ]

[ ソース: coq ]

パッケージ: coq-theories (8.9.0-1)

coq-theories に関するリンク

Debian の資源:

coq ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [coq.inria.fr]

類似のパッケージ:

高階論理用の証明アシスタント (理論)

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

本パッケージは、算術およびブール値の理論を含む新証明の基礎となりうる既存理論を提供します。

タグ: ソフトウェア開発: ライブラリ, 分野: 数学, 役割: アプリケーションデータ

その他の coq-theories 関連パッケージ

依存

推奨

提案

enhances

dep: coq-8.9.0+4.05.0

以下のパッケージによって提供される仮想パッケージです: coq
dep: libc6 (>= 2.1.3)

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

rec: coq (>= 8.0)

proof assistant for higher-order logic (toplevel and compiler)

coq-theories のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	パッケージサイズ	インストールサイズ	ファイル
i386	27,749.0 kB	196,706.0 kB	[ファイル一覧]