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

Pakiet: coq (8.6-4)

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 Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 13 626,4 KiB56 663,0 KiB [lista plików]
arm64 13 501,5 KiB56 586,0 KiB [lista plików]
armel 13 512,9 KiB53 061,0 KiB [lista plików]
armhf 13 592,9 KiB49 728,0 KiB [lista plików]
i386 13 275,2 KiB52 599,0 KiB [lista plików]
mips 18 674,1 KiB82 588,0 KiB [lista plików]
mips64el 18 671,8 KiB82 588,0 KiB [lista plików]
mipsel 18 671,2 KiB82 588,0 KiB [lista plików]
ppc64el 18 670,7 KiB82 588,0 KiB [lista plików]
s390x 18 673,2 KiB82 588,0 KiB [lista plików]