Paket: prooftree (0.13-2 und andere)

Links für prooftree

Debian-Ressourcen:

Quellcode-Paket prooftree herunterladen:

Betreuer:

Externe Ressourcen:

Homepage [askra.de]

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

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: coq (>= 8.4)

Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
dep: libc6 (>= 2.29) [nicht armel, mips64el, mipsel]

GNU-C-Bibliothek: Laufzeitbibliotheken
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [nicht armel, mips64el, mipsel]

Bibliothek GDK-PixBuf - Übergangspaket
dep: libglib2.0-0 (>= 2.35.9) [nicht armel, mips64el, mipsel]

GLib - Bibliothek von C-Routinen
dep: libgtk2.0-0 (>= 2.24.32) [nicht armel, mips64el, mipsel]

GTK - Bibliothek für grafische Benutzeroberflächen - alte Version
dep: liblablgtk2-ocaml-ea813 [armel, mips64el, mipsel]

virtuelles Paket, bereitgestellt durch liblablgtk2-ocaml
dep: libpango-1.0-0 (>= 1.22.0) [nicht armel, mips64el, mipsel]

Gestaltung und Anzeige internationalisierten Textes
dep: ocaml-base-nox-4.11.1 [armel, mips64el, mipsel]

virtuelles Paket, bereitgestellt durch ocaml-base-nox
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
amd64	0.13-2+b1	1.060,9 kB	4.973,0 kB	[Liste der Dateien]
arm64	0.13-2+b1	1.253,3 kB	5.875,0 kB	[Liste der Dateien]
armel	0.13-2+b1	1.142,4 kB	4.784,0 kB	[Liste der Dateien]
armhf	0.13-2+b1	1.008,5 kB	3.441,0 kB	[Liste der Dateien]
i386	0.13-2+b1	1.002,0 kB	4.201,0 kB	[Liste der Dateien]
mips64el	0.13-2+b1	1.141,8 kB	4.784,0 kB	[Liste der Dateien]
mipsel	0.13-2+b1	1.142,7 kB	4.784,0 kB	[Liste der Dateien]
ppc64el	0.13-2+b1	1.129,0 kB	5.507,0 kB	[Liste der Dateien]