Pakiet: coqide (8.12.0-3 i inne) [debports]

Odnośniki dla coqide

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [coq.inria.fr]

Podobne pakiety:

zeek-aux-dbgsym
coolkey-dbgsym
coq
zeek-aux
fonts-terminus
libconvert-scalar-perl-dbgsym
libcoq-core-ocaml-dev
cool-retro-term-dbgsym
libcoq-ocaml
coq-theories
libcoq-core-ocaml

proof assistant for higher-order logic (gtk interface)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides CoqIde, a graphical user interface for developing proofs.

Inne pakiety związane z coqide

wymaga

poleca

sugeruje

enhances

dep: coq (= 8.12.0-3+b3)

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

Pobieranie coqide

Pobierz dla wszystkich dostępnych architektur
Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
x32 (port nieoficjalny)	8.12.0-3+b3	45,6 KiB	111,0 KiB	[lista plików]