Package: coq (8.16.1+dfsg-1 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.35)

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

virtual package provided by libcoq-core-ocaml
dep: libcoq-stdlib (= 8.16.1+dfsg-1+b2)

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

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

Bibliotek til multipræcision i aritmetik
dep: libzarith-ocaml-4dps0

virtual package provided by libzarith-ocaml
dep: ocaml-base-4.13.1

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

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

Overgangspakke for OCaml
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.16.1+dfsg-1+b2	91,686.3 kB	372,982.0 kB	[list of files]