Paquet : coqide (8.16.1+dfsg-1 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.16.1+dfsg-1+b2)

outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
dep: libc6 (>= 2.35)

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-0 (>= 2.35.9)

bibliothèque GLib de routines C
dep: libgtk-3-0 (>= 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.16.1+dfsg-1+b2	1 946,7 ko	9 846,0 ko	[liste des fichiers]
arm64	8.16.1+dfsg-1+b2	2 256,6 ko	11 358,0 ko	[liste des fichiers]
armhf	8.16.1+dfsg-1+b2	1 791,7 ko	6 582,0 ko	[liste des fichiers]
i386	8.16.1+dfsg-1+b2	1 763,9 ko	7 580,0 ko	[liste des fichiers]
ppc64el	8.16.1+dfsg-1+b2	2 027,9 ko	10 654,0 ko	[liste des fichiers]
s390x	8.16.1+dfsg-1+b2	1 933,5 ko	10 669,0 ko	[liste des fichiers]