Пакунок: libcoq-ocaml-dev (8.12.0-3 and others) [debports]

[ Source:  ]

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-ocaml-dev

• dep: coq (= 8.12.0-3+b3)

  Інтерактивний програмний засіб доведення теорем для логіки вищого порядку (інтерактивне середовище і компілятор)

• dep: libcairo2-ocaml-dev-56yq1

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

• dep: libcoq-ocaml-4s3g2

  virtual package provided by libcoq-ocaml

• dep: liblablgtk3-ocaml-dev-0kl61

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

• dep: liblablgtksourceview3-ocaml-dev-0eup3

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

• dep: libnum-ocaml-dev-3st20

  virtual package provided by libnum-ocaml-dev

• dep: ocaml-nox-4.11.1

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

Завантажити libcoq-ocaml-dev

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
ia64 (unofficial port)	8.12.0-3+b3	11,015.6 kB	43,092.0 kB	[список файлів]