[ bullseye ]
[ bookworm ]
[ Bron: prooftree ]
Pakket: prooftree (0.13-2 en anderen)
Verwijzigingen voor prooftree
Debian bronnen:
Het bronpakket prooftree downloaden:
Beheerders:
Externe bronnen:
- Homepage [askra.de]
Vergelijkbare pakketten:
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 aan prooftree gerelateerde pakketten
|
|
|
|
-
- dep: coq (>= 8.4)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.29)
- GNU C Bibliotheek: Gedeelde bibliotheken
Ook een virtueel pakket geboden door: libc6-udeb
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0)
- GDK Pixbuf library (transitional package)
-
- dep: libglib2.0-0 (>= 2.35.9)
- GLib library of C routines
-
- dep: libgtk2.0-0 (>= 2.24.32)
- GTK graphical user interface library - old version
-
- dep: libpango-1.0-0 (>= 1.22.0)
- Layout and rendering of internationalized text
-
- dep: proofgeneral (>= 4.3~pre130510)
- generic frontend for proof assistants