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

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

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 Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
alpha (neoficiálny port) 8.12.0-3+b3 103,380.6 kB412,882.0 kB [zoznam súborov]
amd64 8.12.0-3+b3 88,333.2 kB358,108.0 kB [zoznam súborov]
arm64 8.12.0-3+b3 93,820.2 kB384,451.0 kB [zoznam súborov]
armel 8.12.0-3+b3 103,391.0 kB412,954.0 kB [zoznam súborov]
armhf 8.12.0-3+b3 86,284.5 kB308,733.0 kB [zoznam súborov]
hppa (neoficiálny port) 8.12.0-3+b3 103,393.2 kB412,952.0 kB [zoznam súborov]
i386 8.12.0-3+b3 85,826.4 kB329,208.0 kB [zoznam súborov]
ia64 (neoficiálny port) 8.12.0-3+b3 103,379.1 kB412,878.0 kB [zoznam súborov]
m68k (neoficiálny port) 8.1.pl3+dfsg-1+b2 4,014.9 kB18,580.0 kB [zoznam súborov]
mips64el 8.12.0-3+b3 103,385.3 kB412,882.0 kB [zoznam súborov]
mipsel 8.12.0-3+b3 103,402.0 kB412,954.0 kB [zoznam súborov]
ppc64 (neoficiálny port) 8.12.0-3+b3 87,960.7 kB389,569.0 kB [zoznam súborov]
ppc64el 8.12.0-3+b3 89,332.1 kB371,137.0 kB [zoznam súborov]
riscv64 (neoficiálny port) 8.12.0-3+b3 85,837.1 kB358,702.0 kB [zoznam súborov]
sh4 (neoficiálny port) 8.12.0-3+b3 103,401.4 kB412,954.0 kB [zoznam súborov]
sparc64 (neoficiálny port) 8.12.0-3+b3 103,374.8 kB412,882.0 kB [zoznam súborov]
x32 (neoficiálny port) 8.12.0-3+b3 103,397.8 kB412,954.0 kB [zoznam súborov]