Пакет: libcoq-core-ocaml-dev (8.19.1+dfsg-3) [debports]

[ Источник:  ]

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.19.1+dfsg-3)

  интерактивное программное средство доказательства теорем для логики высшего порядка (интерактивная среда и компилятор)

• dep: libcoq-core-ocaml-yi844

  виртуальный пакет, предоставляемый libcoq-core-ocaml

• dep: libfindlib-ocaml-dev-l8hb7

  Пакет недоступен

• dep: libstdlib-ocaml-dev-gats1

  Пакет недоступен

• dep: libzarith-ocaml-dev-avzf2

  Пакет недоступен

• dep: ocaml-4.14.1

  виртуальный пакет, предоставляемый ocaml

Загрузка libcoq-core-ocaml-dev

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
ppc64 (неофициальный перенос)	45 251,9 Кб	208 937,0 Кб	[список файлов]