Paquet : coqide (8.1.pl3+dfsg-1 et autres) [debports]

[ Paquet source :  ]

proof assistant for higher-order logic (gtk interface)

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp4. For more information, see <http://coq.inria.fr/>.

This package provides CoqIde, a graphical user interface for developing proofs.

Autres paquets associés à coqide

• dep: coq (>= 8.0)

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

• dep: libatk1.0-0 (>= 1.20.0)

  boîte à outils d'accessibilité ATK

• dep: libc6 (>= 2.5-5)

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

• dep: libcairo2 (>= 1.2.4)

  Bibliothèque graphique vectorielle Cairo 2D

• dep: libglib2.0-0 (>= 2.12.0)

  bibliothèque GLib de routines C – paquet de transition

• dep: libgtk2.0-0 (>= 2.12.0)

  bibliothèque d'interface graphique utilisateur GTK –⋅version ancienne

• dep: libncurses5 (>= 5.6+20071006-3)

  Paquet indisponible

• dep: libpango1.0-0 (>= 1.20.2)

  Layout and rendering of internationalized text (transitional package)

• dep: tex-common (>= 1.10)

  infrastructure commune pour construire et installer TeX

Télécharger coqide

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
m68k (portage non officiel)	8.1.pl3+dfsg-1+b2	2 363,1 ko	8 880,0 ko	[liste des fichiers]