[ ソース: coq ]
パッケージ: coq-theories (8.12.0-3 など)
coq-theories に関するリンク
Debian の資源:
coq ソースパッケージをダウンロード:
メンテナ:
- Debian OCaml Maintainers (QA ページ, メールアーカイブ)
- Benjamin Barenblat (QA ページ)
- Ralf Treinen (QA ページ)
- Stéphane Glondu (QA ページ)
- Enrico Tassi (QA ページ)
外部の資源:
- ホームページ [coq.inria.fr]
類似のパッケージ:
高階論理用の証明アシスタント (理論)
Coq は、高階論理用の証明アシスタントであり、形式的な仕様との整合性を保つコ ンピュータプログラムの開発が可能です。Objective Caml と Camlp5 を用いて開発 されています。
本パッケージは、算術およびブール値の理論を含む新証明の基礎となりうる 既存理論を提供します。
その他の coq-theories 関連パッケージ
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- 以下のパッケージによって提供される仮想パッケージです: coq
-
- rec: coq (>= 8.0)
- 高階論理証明アシスタント (トップレベルおよびコンパイラ)
coq-theories のダウンロード
| アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|---|
| amd64 | 8.12.0-3+b3 | 35,646.3 kB | 280,422.0 kB | [ファイル一覧] |
| arm64 | 8.12.0-3+b3 | 23,365.1 kB | 166,283.0 kB | [ファイル一覧] |
| armel | 8.12.0-3+b3 | 23,353.0 kB | 166,204.0 kB | [ファイル一覧] |
| armhf | 8.12.0-3+b3 | 23,358.1 kB | 166,196.0 kB | [ファイル一覧] |
| i386 | 8.12.0-3+b3 | 34,411.8 kB | 259,191.0 kB | [ファイル一覧] |
| mips64el | 8.12.0-3+b3 | 23,361.8 kB | 166,287.0 kB | [ファイル一覧] |
| mipsel | 8.12.0-3+b3 | 23,354.3 kB | 166,204.0 kB | [ファイル一覧] |
| ppc64el | 8.12.0-3+b3 | 23,359.8 kB | 166,283.0 kB | [ファイル一覧] |