パッケージ: coq-theories (8.12.0-3 など)

[ ソース: coq  ]

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

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

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

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

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

• dep: coq-8.12.0+4.11.1

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

• rec: coq (>= 8.0)

  高階論理証明アシスタント (トップレベルおよびコンパイラ)

coq-theories のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
i386	8.12.0-3+b3	34,411.8 kB	259,191.0 kB	[ファイル一覧]