Package: coq (9.1.0+dfsg-1)

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:

Experimental package

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.

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 (= 9.1.0+dfsg-1)

Bevisassistent for højere ordens logik - teorier
dep: libcoq-core-ocaml-3d0o2 [ppc64el]

virtual package provided by libcoq-core-ocaml
dep: libcoq-core-ocaml-qojm9 [arm64]

virtual package provided by libcoq-core-ocaml
dep: libcoq-core-ocaml-rqof7 [amd64]

virtual package provided by libcoq-core-ocaml
dep: libfindlib-ocaml-8k3o3 [amd64]

Package not available
dep: libfindlib-ocaml-itlb4 [ppc64el]

Package not available
dep: libfindlib-ocaml-vaiw6 [arm64]

Package not available
dep: libgmp10 (>= 2:6.3.0+dfsg)

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

Package not available
dep: libzarith-ocaml-h79v1

Package not available
dep: ocaml

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

Package not available
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: ledit

linjeredigeringsprogram for interaktive programmer

or readline-editor

Package not available
sug: libcoq-core-ocaml-dev

Udviklingsbiblioteker og værktøjer for Coq
sug: rocqide

proof assistant for higher-order logic (gtk interface)

or proofgeneral

Generisk brugerflade for bevisassistenter
sug: why (>= 2.19)

Package not available

Download coq

Download for all available architectures
Architecture	Package Size	Installed Size	Files
amd64	38,679.5 kB	160,187.0 kB	[list of files]
arm64	42,220.8 kB	178,262.0 kB	[list of files]
ppc64el	39,383.1 kB	169,751.0 kB	[list of files]