Package: libcoq-stdlib (8.17.0+dfsg-1 and others) [debports]

Links for libcoq-stdlib

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [coq.inria.fr]

Similar packages:

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

Asistent dokazovací logiky vyššího řádu (teorie)

Coq je osvědčený pomocník vyšší logiky, který vám umožní vytvářet konzistentní počítačové programy pomocí jejich formální specifikace. Je vytvořen za pomoci Objective Caml a Camlp5.

Tento balíček obsahuje stávající teorie, na kterých může program zakládat, včetně teorie aritmetiky a booleovské algebry.

Other Packages Related to libcoq-stdlib

depends

recommends

suggests

enhances

rec: coq (>= 8.0)

proof assistant for higher-order logic (toplevel and compiler)

Download libcoq-stdlib

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
ppc64 (unofficial port)	8.17.0+dfsg-1+b2	24,509.3 kB	172,774.0 kB	[list of files]