Pakiet: libcoq-stdlib (8.19.1+dfsg-3) [debports]

Odnośniki dla libcoq-stdlib

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-theories
coq
coqide
libcoq-core-ocaml
libcoq-ocaml
libcoq-core-ocaml-dev
libcoq-ocaml-dev
coq-doc-html
coq-doc-pdf
coq-doc
libssreflect-coq

proof assistant for higher-order logic (theories)

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 existing theories that new proofs can be based upon, including theories of arithmetic and Boolean values.

Inne pakiety związane z libcoq-stdlib

wymaga

poleca

sugeruje

enhances

rec: coq

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

Pobieranie libcoq-stdlib

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
ppc64 (port nieoficjalny)	23 105,4 KiB	154 537,0 KiB	[lista plików]