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