Paquet : coqide (8.19.1+dfsg-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.19.1+dfsg-3+b2)

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

• 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
arm64	8.19.1+dfsg-3+b2	2 411,6 ko	12 296,0 ko	[liste des fichiers]