všetky možnosti
buster  ] [  bullseye  ] [  sid  ]
[ Zdroj: coq  ]

Balík: libcoq-ocaml (8.12.0-3 a iné)

Odkazy pre libcoq-ocaml

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík coq:

Správcovia:

Externé zdroje:

Podobné balíky:

dynamické knižnice pre Coq

Coq je asistent dôkazov logiky vyššieho rádu, ktorý umožňuje vývoj počítačových programov v súlade s ich formálnou špecifikáciou. Bol vyvinutý pomocou Objective Caml a Camlp5.

Tento balík poskytuje dynamické knižnice pre Coq.

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

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

Stiahnuť libcoq-ocaml

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
ppc64el 8.12.0-3+b3 7,632.8 kB34,259.0 kB [zoznam súborov]