[ bullseye ]
[ bookworm ]
[ Quellcode: prooftree ]
Paket: prooftree (0.13-2 und andere)
Links für prooftree
Debian-Ressourcen:
Quellcode-Paket prooftree herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [askra.de]
Ähnliche Pakete:
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.
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-pixbuf-2.0-0 (>= 2.22.0)
- Bibliothek GDK-PixBuf
-
- dep: libglib2.0-0 (>= 2.35.9)
- GLib - Bibliothek von C-Routinen
-
- dep: libgtk2.0-0 (>= 2.24.0)
- 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
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| ppc64el | 0.13-2+b2 | 1.126,4 kB | 5.507,0 kB | [Liste der Dateien] |