パッケージ: libcoq-stdlib (8.19.1+dfsg-3) [debports]
libcoq-stdlib に関するリンク
Debian の資源:
ソースパッケージをダウンロード:
見つかりませんメンテナ:
外部の資源:
- ホームページ [coq.inria.fr]
類似のパッケージ:
高階論理用の証明アシスタント (理論)
Coq は、高階論理用の証明アシスタントであり、形式的な仕様との整合性を保つコ ンピュータプログラムの開発が可能です。Objective Caml と Camlp5 を用いて開発 されています。
本パッケージは、算術およびブール値の理論を含む新証明の基礎となりうる 既存理論を提供します。