[ Bron: coq ]
Pakket: coq (9.1.0+dfsg-1)
Verwijzigingen voor coq
Debian bronnen:
Het bronpakket coq downloaden:
Beheerders:
- Debian OCaml Maintainers (QA-pagina, Mailarchief)
- Benjamin Barenblat (QA-pagina)
- Julien Puydt (QA-pagina)
- Ralf Treinen (QA-pagina)
- Stéphane Glondu (QA-pagina)
Externe bronnen:
- Homepage [coq.inria.fr]
Vergelijkbare pakketten:
Experimenteel pakket
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
proof assistant for higher-order logic (toplevel and compiler)
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 coqtop, a command line interface to Coq.
A graphical interface for Coq is provided in the coqide package. Coq can also be used with ProofGeneral, which allows proofs to be edited using emacs and xemacs. This requires the proofgeneral package to be installed.
Andere aan coq gerelateerde pakketten
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
-
- dep: libcoq-core (= 9.1.0+dfsg-1)
- proof assistant for higher-order logic (theories)
-
- dep: libcoq-core-ocaml-3d0o2 [ppc64el]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-501i1 [s390x]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-qojm9 [arm64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-rqof7 [amd64]
- virtueel pakket geboden door libcoq-core-ocaml
-
- dep: libfindlib-ocaml-8k3o3 [amd64]
- Pakket niet beschikbaar
-
- dep: libfindlib-ocaml-itlb4 [ppc64el]
- Pakket niet beschikbaar
-
- dep: libfindlib-ocaml-svhk3 [s390x]
- Pakket niet beschikbaar
-
- dep: libfindlib-ocaml-vaiw6 [arm64]
- Pakket niet beschikbaar
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- Multiprecision arithmetic library
-
- dep: libstdlib-ocaml-2d5j3 [s390x]
- Pakket niet beschikbaar
-
- dep: libstdlib-ocaml-m4xw9 [niet s390x]
- Pakket niet beschikbaar
-
- dep: libzarith-ocaml-2ofb9 [s390x]
- Pakket niet beschikbaar
-
- dep: libzarith-ocaml-h79v1 [niet s390x]
- Pakket niet beschikbaar
-
- dep: ocaml
- ML language implementation with a class-based object system
-
- dep: ocaml-base-5.3.0
- Pakket niet beschikbaar
-
- dep: ocaml-findlib
- management tool for OCaml libraries
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
-
- sug: coq-doc
- documentation for Coq
-
- sug: ledit
- line editor for interactive programs
- of readline-editor
- Pakket niet beschikbaar
-
- sug: libcoq-core-ocaml-dev
- development libraries and tools for Coq
-
- sug: rocqide
- proof assistant for higher-order logic (gtk interface)
- of proofgeneral
- generic frontend for proof assistants
-
- sug: why (>= 2.19)
- Pakket niet beschikbaar