Package: coq-theories (8.2.pl2+dfsg-1)

Links for coq-theories

Debian Resources:

Download Source Package coq:

Maintainers:

Debian OCaml Maintainers (QA Page, Mail Archive)
Ralf Treinen (QA Page)
Samuel Mimram (QA Page)
Stéphane Glondu (QA Page)

External Resources:

Homepage [coq.inria.fr]

Similar packages:

Beweis-Assistent für Logik höherer Ordnung (Theorien)

Coq ist ein Beweis-Assistent für Logik höherer Ordnung. Er ermöglicht die Entwicklung von Computerprogrammen, die konsistent mit ihrer formalen Spezifikation sind. Er wird mittels Objective Caml und Camlp5 entwickelt.

Dieses Paket stellt Theorien bereit, auf deren Basis neue Beweise geführt werden können, einschließlich Theorien für arithmetische und Boole-sche Werte.

Tags: Software Development: Libraries, Field: Mathematics, Role: Application Data

Other Packages Related to coq-theories

depends

recommends

suggests

dep: coq-8.2.pl2+3.11.2

virtual package provided by coq

rec: coq (>= 8.0)

Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)

Download coq-theories

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	17,956.5 kB	59,456.0 kB	[list of files]