パッケージ: libcoq-stdlib (8.16.1+dfsg-1 など)

[ ソース: coq  ]

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

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

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

その他の libcoq-stdlib 関連パッケージ

• rec: coq (>= 8.0)

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

libcoq-stdlib のダウンロード

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

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	8.16.1+dfsg-1+b2	21,021.5 kB	139,787.0 kB	[ファイル一覧]
arm64	8.16.1+dfsg-1+b2	21,023.5 kB	139,787.0 kB	[ファイル一覧]
armhf	8.16.1+dfsg-1+b2	21,023.1 kB	139,751.0 kB	[ファイル一覧]
i386	8.16.1+dfsg-1+b2	21,023.9 kB	139,751.0 kB	[ファイル一覧]
ppc64el	8.16.1+dfsg-1+b2	21,023.6 kB	139,787.0 kB	[ファイル一覧]
s390x	8.16.1+dfsg-1+b2	21,024.6 kB	139,787.0 kB	[ファイル一覧]