パッケージ: libcoq-core-ocaml-dev (8.16.1+dfsg-1 など)

[ ソース: coq  ]

development libraries and tools for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides and libraries needed to develop OCaml-side extensions to Coq.

その他の libcoq-core-ocaml-dev 関連パッケージ

• dep: coq (= 8.16.1+dfsg-1+b2)

  高階論理証明アシスタント (トップレベルおよびコンパイラ)

• dep: libcoq-core-ocaml-cqbo5

  以下のパッケージによって提供される仮想パッケージです: libcoq-core-ocaml

• dep: libfindlib-ocaml-dev-9bk70

  以下のパッケージによって提供される仮想パッケージです: libfindlib-ocaml-dev

• dep: libzarith-ocaml-dev-4dps0

  以下のパッケージによって提供される仮想パッケージです: libzarith-ocaml-dev

• dep: ocaml-4.13.1

  以下のパッケージによって提供される仮想パッケージです: ocaml

libcoq-core-ocaml-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード

アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
ppc64el	8.16.1+dfsg-1+b2	42,540.8 kB	198,822.0 kB	[ファイル一覧]