すべてのオプション
[  bookworm  ] [  trixie  ] [  sid  ]
[ ソース: coq  ]

パッケージ: libcoq-stdlib (8.19.1+dfsg-1)

libcoq-stdlib に関するリンク

Screenshot

Debian の資源:

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

メンテナ:

外部の資源:

類似のパッケージ:

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

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

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

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

  • 依存
  • 推奨
  • 提案
  • enhances

libcoq-stdlib のダウンロード

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