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

Balík: coq (8.16.1+dfsg-1 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
arm64 8.16.1+dfsg-1+b2 99,773.5 kB398,315.0 kB [zoznam súborov]