wszystkie opcje
stretch  ] [  buster  ] [  bullseye  ] [  bookworm  ] [  sid  ]
[ Pakiet źródłowy: coq  ]

Pakiet: coq (8.12.0-3 i inne)

Odnośniki dla coq

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego coq:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)

Coq jest asystentem udowadniania nadrzędnej logiki, która pozwala na rozwój programów komputerowych zgodnych z ich oficjalną specyfikacją. Został opracowany przy użyciu Objective Caml i Camlp5.

Pakiet zawiera coqtop, interfejs wiersza poleceń do Coq.

Graficzny interfejs do Coq znajduje się w pakiecie coqide. Coq można również stosować z ProofGeneral, który umożliwia edytowanie dowodów przy użyciu emacs i xemacs. W tym celu należy zainstalować pakiet proofgeneral.

Znaczniki: Rozwój oprogramowania: Kompilator, Dziedzina: Matematyka, Zaimplementowane w: implemented-in::ocaml, interface::commandline, Interfejs użytkownika: Interaktywny interfejs tekstowy, Rola: role::program, scope::utility, Pakiet narzędziowy interfejsu: Ncurses (terminalowy)

Inne pakiety związane z coq

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie coq

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
alpha (port nieoficjalny) 8.12.0-3+b3 103 380,6 KiB412 882,0 KiB [lista plików]
amd64 8.12.0-3+b3 88 333,2 KiB358 108,0 KiB [lista plików]
arm64 8.12.0-3+b3 93 820,2 KiB384 451,0 KiB [lista plików]
armel 8.12.0-3+b3 103 391,0 KiB412 954,0 KiB [lista plików]
armhf 8.12.0-3+b3 86 284,5 KiB308 733,0 KiB [lista plików]
hppa (port nieoficjalny) 8.12.0-3+b3 103 393,2 KiB412 952,0 KiB [lista plików]
i386 8.12.0-3+b3 85 826,4 KiB329 208,0 KiB [lista plików]
ia64 (port nieoficjalny) 8.12.0-3+b3 103 379,1 KiB412 878,0 KiB [lista plików]
m68k (port nieoficjalny) 8.1.pl3+dfsg-1+b2 4 014,9 KiB18 580,0 KiB [lista plików]
mips64el 8.12.0-3+b3 103 385,3 KiB412 882,0 KiB [lista plików]
mipsel 8.12.0-3+b3 103 402,0 KiB412 954,0 KiB [lista plików]
ppc64 (port nieoficjalny) 8.12.0-3+b3 87 960,7 KiB389 569,0 KiB [lista plików]
ppc64el 8.12.0-3+b3 89 332,1 KiB371 137,0 KiB [lista plików]
riscv64 (port nieoficjalny) 8.12.0-3+b3 85 837,1 KiB358 702,0 KiB [lista plików]
sh4 (port nieoficjalny) 8.12.0-3+b3 103 401,4 KiB412 954,0 KiB [lista plików]
sparc64 (port nieoficjalny) 8.12.0-3+b3 103 374,8 KiB412 882,0 KiB [lista plików]
x32 (port nieoficjalny) 8.12.0-3+b3 103 397,8 KiB412 954,0 KiB [lista plików]