Package: libcoq-core-ocaml-dev (8.19.1+dfsg-3) [debports]

[ Source:  ]

librerie e strumenti di sviluppo per Coq

Coq è un assistente alle dimostrazioni per logiche di ordine superiore che permette lo sviluppo di programmi per computer coerenti con la loro specifica formale. È sviluppato con Objective Caml e Camlp5.

Questo pacchetto fornisce le librerie necessarie per sviluppare estensioni lato OCaml per Coq.

Other Packages Related to libcoq-core-ocaml-dev

• dep: coq (= 8.19.1+dfsg-3)

  assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)

• dep: libcoq-core-ocaml-yi844

  virtual package provided by libcoq-core-ocaml

• dep: libfindlib-ocaml-dev-l8hb7

  Package not available

• dep: libstdlib-ocaml-dev-gats1

  Package not available

• dep: libzarith-ocaml-dev-avzf2

  Package not available

• dep: ocaml-4.14.1

  virtual package provided by ocaml

Download libcoq-core-ocaml-dev

Download for all available architectures

Architecture	Package Size	Installed Size	Files
ppc64 (unofficial port)	45,251.9 kB	208,937.0 kB	[list of files]