[ ソース: coq ]
パッケージ: libcoq-stdlib (8.19.1+dfsg-1 など)
libcoq-stdlib に関するリンク
Debian の資源:
coq ソースパッケージをダウンロード:
メンテナ:
- Debian OCaml Maintainers (QA ページ, メールアーカイブ)
- Benjamin Barenblat (QA ページ)
- Julien Puydt (QA ページ)
- Ralf Treinen (QA ページ)
- Stéphane Glondu (QA ページ)
外部の資源:
- ホームページ [coq.inria.fr]
類似のパッケージ:
高階論理用の証明アシスタント (理論)
Coq は、高階論理用の証明アシスタントであり、形式的な仕様との整合性を保つコ ンピュータプログラムの開発が可能です。Objective Caml と Camlp5 を用いて開発 されています。
本パッケージは、算術およびブール値の理論を含む新証明の基礎となりうる 既存理論を提供します。
その他の libcoq-stdlib 関連パッケージ
|
|
|
|
libcoq-stdlib のダウンロード
アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
---|---|---|---|---|
amd64 | 8.19.1+dfsg-1 | 23,105.8 kB | 154,537.0 kB | [ファイル一覧] |
arm64 | 8.19.1+dfsg-1 | 23,101.0 kB | 154,537.0 kB | [ファイル一覧] |
armhf | 8.19.1+dfsg-1 | 23,104.2 kB | 154,496.0 kB | [ファイル一覧] |
i386 | 8.19.1+dfsg-1 | 23,098.6 kB | 154,496.0 kB | [ファイル一覧] |
ppc64 (非公式の移植版) | 8.17.0+dfsg-1+b2 | 24,509.3 kB | 172,774.0 kB | [ファイル一覧] |
ppc64el | 8.19.1+dfsg-1 | 23,096.7 kB | 154,537.0 kB | [ファイル一覧] |
riscv64 | 8.19.1+dfsg-1 | 23,102.6 kB | 154,537.0 kB | [ファイル一覧] |
s390x | 8.19.1+dfsg-1 | 23,104.4 kB | 154,537.0 kB | [ファイル一覧] |