všetky možnosti
wheezy  ] [  jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ Zdroj: coq  ]

Balík: libcoq-ocaml-dev (8.3.pl4+dfsg-2)

Odkazy pre libcoq-ocaml-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík coq:

Správcovia:

Externé zdroje:

Podobné balíky:

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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.

Značky: Software Development: Knižnice, Role: Vývojová knižnica

Ostatné balíky súvisiace s balíkom libcoq-ocaml-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libcoq-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
s390x 2,475.3 kB9,114.0 kB [zoznam súborov]