パッケージ: coqide (8.12.0-3 など) [debports]

[ ソース:  ]

高階論理用証明アシスタント (gtk インターフェイス)

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

本パッケージは、証明を開発するための GUI である、CoqIde を提供します。

その他の coqide 関連パッケージ

• dep: coq (= 8.12.0-3+b3)

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

coqide のダウンロード

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

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
sh4 (非公式の移植版)	8.12.0-3+b3	45.6 kB	111.0 kB	[ファイル一覧]