Paquet : prooftree (0.13-2 et autres)

[ Paquet source : prooftree  ]

visualisation d’arbre de preuve pour Proof General

Prooftree dessine des arbres de démonstration pendant le développement interactif de démonstrations avec Proof General, une interface d’assistant de preuve. Il est possible d’examiner les buts et les commandes de démonstration et de vérifier où les variables existentielles ont été introduites et instanciées. Actuellement, Prooftree fonctionne uniquement avec Coq.

Étiquettes: Boîte à outils d'interface utilisateur: GTK

Autres paquets associés à prooftree

• dep: coq (>= 8.4)

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

• dep: libc6 (>= 2.29)

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

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0)

  GDK Pixbuf library (transitional package)

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

  bibliothèque GLib de routines C

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

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

• dep: libpango-1.0-0 (>= 1.22.0)

  Mise en place et rendu de texte internationalisé

• dep: proofgeneral (>= 4.3~pre130510)

  frontal générique d’assistants de preuve

Télécharger prooftree

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

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
ppc64el	0.13-2+b1	1 129,0 ko	5 507,0 ko	[liste des fichiers]