Package: coq (8.19.1+dfsg-3 and others)

Links for coq

Debian Resources:

Download Source Package coq:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Benjamin Barenblat (QA Page)
Julien Puydt (QA Page)
Ralf Treinen (QA Page)
Stéphane Glondu (QA Page)

External Resources:

Homepage [coq.inria.fr]

Similar packages:

Bevisassistent for højere ordens logik - topniveau og kompiler

Coq er en bevisassistent for højere ordens logik, som tillader udviklingen af computerprogrammer som overholder deres formelle specifikationer. Det udvikles med brug af Objective Caml og Camlp5.

Denne pakke tilbyder coqtop, en kommandolinjegrænseflade til Coq.

En grafisk grænseflade for Coq tilbydes i pakken coqide. Coq kan også bruges med ProofGeneral, som tillader at beviser redigeres med emacs og xemacs. Dette kræver at pakken proofgeneral er installeret.

Tags: Software Development: Compiler, Field: Mathematics, Implemented in: implemented-in::ocaml, interface::commandline, User Interface: Text-based Interactive, Role: role::program, scope::utility, Interface Toolkit: Ncurses TUI

Other Packages Related to coq

depends

recommends

suggests

enhances

dep: libc6 (>= 2.38)

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libcoq-core-ocaml-54qp0

virtual package provided by libcoq-core-ocaml
dep: libcoq-stdlib (= 8.19.1+dfsg-3+b3)

Bevisassistent for højere ordens logik - teorier
dep: libfindlib-ocaml-huq36

virtual package provided by libfindlib-ocaml
dep: libgmp10 (>= 2:6.3.0+dfsg)

Bibliotek til multipræcision i aritmetik
dep: libstdlib-ocaml-2a614

virtual package provided by libstdlib-ocaml
dep: libzarith-ocaml-mtsj7

virtual package provided by libzarith-ocaml
dep: ocaml

ML sprogimplementering med et klassebasseret objektsystem
dep: ocaml-base-5.2.0

virtual package provided by ocaml-base
dep: ocaml-findlib

Håndteringsværktøj for OCaml-biblioteker
dep: python3

Interaktivt objektorienteret højniveausprog - standardversion af Python 3

sug: coq-doc

documentation for Coq
sug: coqide

bevisassistent for højere ordens logik (gtk-brugerflade)

or proofgeneral

Generisk brugerflade for bevisassistenter
sug: ledit

linjeredigeringsprogram for interaktive programmer

or readline-editor

virtual package provided by ledit, rlfe, rlwrap
sug: libcoq-core-ocaml-dev

Udviklingsbiblioteker og værktøjer for Coq
sug: why (>= 2.19)

Package not available

Download coq

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
ppc64el	8.19.1+dfsg-3+b3	85,235.5 kB	344,109.0 kB	[list of files]