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.12.0-3+b3) [alpha, hppa, ia64, sh4, sparc64, x32]

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

  dep: coq (= 8.19.1+dfsg-3) [ppc64]

  dep: coq (= 8.19.1+dfsg-3+b2) [amd64, arm64, riscv64, s390x]

  dep: coq (= 8.19.1+dfsg-3+b3) [ppc64el]

  dep: coq (>= 8.0) [m68k]

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

  boîte à outils d'accessibilité ATK

• dep: libc6 (>= 2.38) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

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

  dep: libc6 (>= 2.5-5) [m68k]

• dep: libcairo2 (>= 1.12.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  Bibliothèque graphique vectorielle Cairo 2D

  dep: libcairo2 (>= 1.2.4) [m68k]

• dep: libfontconfig1 (>= 2.12.6) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

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

• dep: libfreetype6 (>= 2.2.1) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

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

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  bibliothèque GDK Pixbuf

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

  bibliothèque GLib de routines C – paquet de transition

• dep: libglib2.0-0t64 (>= 2.36.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  bibliothèque GLib de routines C

• dep: libgtk-3-0t64 (>= 3.11.5) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  bibliothèque d'interface graphique utilisateur GTK

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

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

• dep: libgtksourceview-3.0-1 (>= 2.91.4) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

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

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

  Paquet indisponible

• dep: libpango-1.0-0 (>= 1.14.0) [amd64, arm64, ppc64, ppc64el, riscv64, s390x]

  Mise en place et rendu de texte internationalisé

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

  Layout and rendering of internationalized text (transitional package)

• dep: tex-common (>= 1.10) [m68k]

  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
alpha (portage non officiel)	8.12.0-3+b3	45,6 ko	111,0 ko	[liste des fichiers]
amd64	8.19.1+dfsg-3+b2	2 100,9 ko	10 480,0 ko	[liste des fichiers]
arm64	8.19.1+dfsg-3+b2	2 411,6 ko	12 296,0 ko	[liste des fichiers]
hppa (portage non officiel)	8.12.0-3+b3	45,7 ko	111,0 ko	[liste des fichiers]
ia64 (portage non officiel)	8.12.0-3+b3	45,6 ko	111,0 ko	[liste des fichiers]
m68k (portage non officiel)	8.1.pl3+dfsg-1+b2	2 363,1 ko	8 880,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	8.19.1+dfsg-3	1 977,7 ko	11 703,0 ko	[liste des fichiers]
ppc64el	8.19.1+dfsg-3+b3	2 136,4 ko	11 272,0 ko	[liste des fichiers]
riscv64	8.19.1+dfsg-3+b2	2 140,1 ko	11 236,0 ko	[liste des fichiers]
s390x	8.19.1+dfsg-3+b2	2 116,9 ko	11 804,0 ko	[liste des fichiers]
sh4 (portage non officiel)	8.12.0-3+b3	45,6 ko	111,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	8.12.0-3+b3	45,7 ko	111,0 ko	[liste des fichiers]
x32 (portage non officiel)	8.12.0-3+b3	45,6 ko	111,0 ko	[liste des fichiers]