Paquet : coqide (8.19.1+dfsg-3 et autres)

Liens pour coqide

Ressources Debian :

Télécharger le paquet source coq :

Responsables :

Ressources externes :

Page d'accueil [coq.inria.fr]

Paquets similaires :

outil d'aide à la preuve pour la logique d'ordre supérieur (interface en GTK)

Coq est un assistant de preuve pour la logique d'ordre supérieur, qui permet le développement de programmes d'ordinateur correspondant à une spécification formelle. Il est développé en Objective Caml et Camlp5.

Ce paquet fournit CoqIDE, une interface graphique pour le développement de preuves.

Étiquettes: Développement de logiciel: EDI, Domaine: Mathématiques, Mis en œuvre en: implemented-in::ocaml, interface::graphical, Interface utilisateur: Système X Window, Rôle: role::program, scope::application, Boîte à outils d'interface utilisateur: GTK, Interface utilisateur texte ncurses, But: use::checking, x11::application

Autres paquets associés à coqide

dépendances

recommandations

suggestions

enhances

dep: coq (= 8.19.1+dfsg-3+b2) [non ppc64el]

outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)

dep: coq (= 8.19.1+dfsg-3+b3) [ppc64el]
dep: libc6 (>= 2.38)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libcairo2 (>= 1.12.0)

Bibliothèque graphique vectorielle Cairo 2D
dep: libfontconfig1 (>= 2.12.6)

Bibliothèque de configuration de polices générique - exécutables
dep: libfreetype6 (>= 2.2.1)

moteur de fontes FreeType 2, fichiers de bibliothèques partagées
dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

bibliothèque GDK Pixbuf
dep: libglib2.0-0t64 (>= 2.36.0)

bibliothèque GLib de routines C
dep: libgtk-3-0t64 (>= 3.11.5)

bibliothèque d'interface graphique utilisateur GTK
dep: libgtksourceview-3.0-1 (>= 2.91.4)

bibliothèques partagées pour le widget de coloration syntaxique GTK+
dep: libpango-1.0-0 (>= 1.14.0)

Mise en place et rendu de texte internationalisé

Télécharger coqide

Télécharger pour toutes les architectures proposées
Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	8.19.1+dfsg-3+b2	2 100,9 ko	10 480,0 ko	[liste des fichiers]
arm64	8.19.1+dfsg-3+b2	2 411,6 ko	12 296,0 ko	[liste des fichiers]
ppc64el	8.19.1+dfsg-3+b3	2 136,4 ko	11 272,0 ko	[liste des fichiers]
riscv64	8.19.1+dfsg-3+b2	2 140,1 ko	11 236,0 ko	[liste des fichiers]
s390x	8.19.1+dfsg-3+b2	2 116,9 ko	11 804,0 ko	[liste des fichiers]