Paket: prooftree (0.13-2 und andere)

[ Quellcode: prooftree  ]

proof-tree visualization for Proof General

Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq.

Markierungen: GUI-Baukasten: GTK

Andere Pakete mit Bezug zu prooftree

• dep: coq (>= 8.4)

  Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)

• dep: libc6 (>= 2.29)

  GNU-C-Bibliothek: Laufzeitbibliotheken
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

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

  Bibliothek GDK-PixBuf - Übergangspaket

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

  GLib - Bibliothek von C-Routinen

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

  GTK - Bibliothek für grafische Benutzeroberflächen - alte Version

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

  Gestaltung und Anzeige internationalisierten Textes

• dep: proofgeneral (>= 4.3~pre130510)

  Generisches Frontend für Beweisassistenten

prooftree herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
ppc64el	0.13-2+b1	1.129,0 kB	5.507,0 kB	[Liste der Dateien]