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

Balík: coq (8.6-4)

Odkazy pre coq

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík coq:

Správcovia:

Externé zdroje:

Podobné balíky:

asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)

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 coqtop, rozhranie príkazového riadka ku Coq.

Grafické rozhranie ku Coq poskytuje balík coqide. Coq je tiež možné používať spolu s ProofGeneral, ktorý umožňuje upravovanie dôkazov pomocou emacs a xemacs. To vyžaduje, aby bol nainštalovaný balík proofgeneral.

Značky: Software Development: Kompilátor, Pole: Matematika, Implementované v: implemented-in::ocaml, interface::commandline, User Interface: Text-based Interactive, Role: role::program, scope::utility, Sada nástrojov používateľského rozhrania: Ncurses TUI

Ostatné balíky súvisiace s balíkom coq

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

Stiahnuť coq

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 13,626.4 kB56,663.0 kB [zoznam súborov]
arm64 13,501.5 kB56,586.0 kB [zoznam súborov]
armel 13,512.9 kB53,061.0 kB [zoznam súborov]
armhf 13,592.9 kB49,728.0 kB [zoznam súborov]
i386 13,275.2 kB52,599.0 kB [zoznam súborov]
mips 18,674.1 kB82,588.0 kB [zoznam súborov]
mips64el 18,671.8 kB82,588.0 kB [zoznam súborov]
mipsel 18,671.2 kB82,588.0 kB [zoznam súborov]
ppc64el 18,670.7 kB82,588.0 kB [zoznam súborov]
s390x 18,673.2 kB82,588.0 kB [zoznam súborov]