パッケージ: coq-theories (8.12.0-3 など) [debports]
coq-theories に関するリンク
Debian の資源:
ソースパッケージをダウンロード:
見つかりませんメンテナ:
外部の資源:
- ホームページ [coq.inria.fr]
類似のパッケージ:
高階論理用の証明アシスタント (理論)
Coq は、高階論理用の証明アシスタントであり、形式的な仕様との整合性を保つコ ンピュータプログラムの開発が可能です。Objective Caml と Camlp5 を用いて開発 されています。
本パッケージは、算術およびブール値の理論を含む新証明の基礎となりうる 既存理論を提供します。
その他の coq-theories 関連パッケージ
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- 以下のパッケージによって提供される仮想パッケージです: coq
-
- rec: coq (>= 8.0)
- 高階論理証明アシスタント (トップレベルおよびコンパイラ)
coq-theories のダウンロード
| アーキテクチャ | バージョン | パッケージサイズ | インストールサイズ | ファイル |
|---|---|---|---|---|
| alpha (非公式の移植版) | 8.12.0-3+b3 | 23,361.0 kB | 166,285.0 kB | [ファイル一覧] |
| hppa (非公式の移植版) | 8.12.0-3+b3 | 23,358.5 kB | 166,204.0 kB | [ファイル一覧] |
| ia64 (非公式の移植版) | 8.12.0-3+b3 | 23,359.0 kB | 166,286.0 kB | [ファイル一覧] |
| sh4 (非公式の移植版) | 8.12.0-3+b3 | 23,351.6 kB | 166,203.0 kB | [ファイル一覧] |
| sparc64 (非公式の移植版) | 8.12.0-3+b3 | 23,359.8 kB | 166,286.0 kB | [ファイル一覧] |
| x32 (非公式の移植版) | 8.12.0-3+b3 | 23,356.3 kB | 166,203.0 kB | [ファイル一覧] |