Package: coq (8.12.0-3 and others)

Links for coq

Debian Resources:

Download Source Package coq:

Maintainers:

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

External Resources:

Homepage [coq.inria.fr]

Similar packages:

assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)

Coq è un assistente alle dimostrazioni per logiche di ordine superiore che permette lo sviluppo di programmi per computer coerenti con la loro specifica formale. È sviluppato con Objective Caml e Camlp5.

Questo pacchetto fornisce coqtop, un'interfaccia a riga di comando per Coq.

Un'interfaccia grafica per Coq è inclusa nel pacchetto coqide. Coq può anche essere usato con ProofGeneral, che permette di modificare le dimostrazioni con emacs e xemacs. Quest'operazione richiede che sia installato il pacchetto proofgeneral.

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: coq-theories (= 8.12.0-3+b3)

assistente alle dimostrazioni per logiche di ordine superiore (teorie)
dep: libc6 (>= 2.29) [not armel, mips64el, mipsel]

Libreria C GNU: librerie condivise
also a virtual package provided by libc6-udeb
dep: libcoq-ocaml-1fwg6 [ppc64el]

virtual package provided by libcoq-ocaml
dep: libcoq-ocaml-4pem8 [arm64]

virtual package provided by libcoq-ocaml
dep: libcoq-ocaml-4s3g2 [armel, mips64el, mipsel]

virtual package provided by libcoq-ocaml
dep: libcoq-ocaml-otko2 [i386]

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

virtual package provided by libcoq-ocaml
dep: libcoq-ocaml-zuzr9 [armhf]

virtual package provided by libcoq-ocaml
dep: libnum-ocaml-3st20 [armel, mips64el, mipsel]

virtual package provided by libnum-ocaml
dep: libnum-ocaml-80ki3 [amd64, arm64, ppc64el]

virtual package provided by libnum-ocaml
dep: libnum-ocaml-hqq52 [armhf, i386]

virtual package provided by libnum-ocaml
dep: ocaml-base-nox-4.11.1

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

strumento di gestione per librerie Ocaml
dep: ocaml-nox

implementazione di ML con sistema a oggetti basato su classi (senza X)
dep: python3

linguaggio interattivo di alto livello orientato agli oggetti (versione python3 predefinita)

sug: coq-doc

Package not available
sug: coqide

assistente alle dimostrazioni per logiche di ordine superiore (interfaccia gtk)

or proofgeneral

frontend generico per assistenti alla dimostrazione
sug: ledit

editor di riga per programmi interattivi

or readline-editor

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

librerie e strumenti di sviluppo per Coq
sug: why (>= 2.19)

Package not available

Download coq

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
amd64	8.12.0-3+b3	88,333.2 kB	358,108.0 kB	[list of files]
arm64	8.12.0-3+b3	93,820.2 kB	384,451.0 kB	[list of files]
armel	8.12.0-3+b3	103,391.0 kB	412,954.0 kB	[list of files]
armhf	8.12.0-3+b3	86,284.5 kB	308,733.0 kB	[list of files]
i386	8.12.0-3+b3	85,826.4 kB	329,208.0 kB	[list of files]
mips64el	8.12.0-3+b3	103,385.3 kB	412,882.0 kB	[list of files]
mipsel	8.12.0-3+b3	103,402.0 kB	412,954.0 kB	[list of files]
ppc64el	8.12.0-3+b3	89,332.1 kB	371,137.0 kB	[list of files]