Paquet : coqide (8.12.0-3 et autres)

[ Paquet source : coq  ]

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

• dep: coq (= 8.12.0-3+b3)

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

• dep: libc6 (>= 2.29) [non armel, mips64el, mipsel]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

• dep: libcairo2 (>= 1.12.0) [non armel, mips64el, mipsel]

  Bibliothèque graphique vectorielle Cairo 2D

• dep: libfontconfig1 (>= 2.12.6) [non armel, mips64el, mipsel]

  Bibliothèque de configuration de polices générique - exécutables

• dep: libfreetype6 (>= 2.2.1) [non armel, mips64el, mipsel]

  moteur de fontes FreeType 2, fichiers de bibliothèques partagées

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [non armel, mips64el, mipsel]

  bibliothèque GDK Pixbuf

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

  GDK Pixbuf library (transitional package)

• dep: libglib2.0-0 (>= 2.35.9) [non armel, mips64el, mipsel]

  bibliothèque GLib de routines C

• dep: libgtk-3-0 (>= 3.1.4) [non armel, mips64el, mipsel]

  bibliothèque d'interface graphique utilisateur GTK

• dep: libgtksourceview-3.0-1 (>= 2.91.4) [non armel, mips64el, mipsel]

  bibliothèques partagées pour le widget de coloration syntaxique GTK+

• dep: libpango-1.0-0 (>= 1.14.0) [non armel, mips64el, mipsel]

  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.12.0-3+b3	1 835,2 ko	9 275,0 ko	[liste des fichiers]
arm64	8.12.0-3+b3	2 119,7 ko	10 649,0 ko	[liste des fichiers]
armel	8.12.0-3+b3	45,7 ko	111,0 ko	[liste des fichiers]
armhf	8.12.0-3+b3	1 696,1 ko	6 255,0 ko	[liste des fichiers]
i386	8.12.0-3+b3	1 682,6 ko	7 257,0 ko	[liste des fichiers]
mips64el	8.12.0-3+b3	45,6 ko	111,0 ko	[liste des fichiers]
mipsel	8.12.0-3+b3	45,7 ko	111,0 ko	[liste des fichiers]
ppc64el	8.12.0-3+b3	1 912,5 ko	9 983,0 ko	[liste des fichiers]