Package: coqide (8.12.0-3 and others)

Links for coqide

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:

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

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 CoqIde, en grafisk brugergrænseflade for udvikling af beviser (»proofs«).

Tags: Software Development: IDE, Field: Mathematics, Implemented in: implemented-in::ocaml, interface::graphical, User Interface: X Window System, Role: role::program, scope::application, Interface Toolkit: GTK, Ncurses TUI, Purpose: use::checking, x11::application

Other Packages Related to coqide

depends

recommends

suggests

enhances

dep: coq (= 8.12.0-3+b3)

Bevisassistent for højere ordens logik - topniveau og kompiler
dep: libc6 (>= 2.29) [not armel, mips64el, mipsel]

GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
dep: libcairo2 (>= 1.12.0) [not armel, mips64el, mipsel]

Cairo 2D - vektorgrafikbibliotek
dep: libfontconfig1 (>= 2.12.6) [not armel, mips64el, mipsel]

bibliotek til konfiguration af generiske skrifttyper - kørselstid
dep: libfreetype6 (>= 2.2.1) [not armel, mips64el, mipsel]

FreeType 2-skriftmotor - delte biblioteksfiler
dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [not armel, mips64el, mipsel]

GDK Pixbuf-bibliotek

or libgdk-pixbuf2.0-0 (>= 2.22.0)

GDK Pixbuf-bibliotek - overgangspakke
dep: libglib2.0-0 (>= 2.35.9) [not armel, mips64el, mipsel]

GLib-bibliotek for C-rutiner
dep: libgtk-3-0 (>= 3.1.4) [not armel, mips64el, mipsel]

GTK-grafisk brugerfladebibliotek
dep: libgtksourceview-3.0-1 (>= 2.91.4) [not armel, mips64el, mipsel]

delte bibliotekter for GTK+-kontrollen til fremhævelse af syntaks
dep: libpango-1.0-0 (>= 1.14.0) [not armel, mips64el, mipsel]

Layout og optegning af internationaliseret tekst

Download coqide

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
amd64	8.12.0-3+b3	1,835.2 kB	9,275.0 kB	[list of files]
arm64	8.12.0-3+b3	2,119.7 kB	10,649.0 kB	[list of files]
armel	8.12.0-3+b3	45.7 kB	111.0 kB	[list of files]
armhf	8.12.0-3+b3	1,696.1 kB	6,255.0 kB	[list of files]
i386	8.12.0-3+b3	1,682.6 kB	7,257.0 kB	[list of files]
mips64el	8.12.0-3+b3	45.6 kB	111.0 kB	[list of files]
mipsel	8.12.0-3+b3	45.7 kB	111.0 kB	[list of files]
ppc64el	8.12.0-3+b3	1,912.5 kB	9,983.0 kB	[list of files]