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:

coq
libcoq-core-ocaml
libcoq-ocaml
libcoq-stdlib
coq-theories
libcoq-core-ocaml-dev
libcoq-ocaml-dev
coq-doc-html
coq-doc-pdf
coq-doc
libcoq-iris

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
alpha (port nieoficjalny)	8.12.0-3+b3	45,6 KiB	111,0 KiB	[lista plików]