[ bullseye ]
[ bookworm ]
[ Source: prooftree ]
Package: prooftree (0.13-2 and others)
Links for prooftree
Debian Resources:
Download Source Package prooftree:
Maintainers:
External Resources:
- Homepage [askra.de]
Similar packages:
Bevistræsvisualisering for Proof General
Prooftree tegner bevistærer under interaktiv bevisudvikling med Proof General. Man kan inspicere mål og proof-kommandoer og kontrollere om eksistentielle variabler blev introduceret og instantieret. I øjeblikket virker Prooftree kun for Coq.
Other Packages Related to prooftree
|
|
|
|
-
- dep: coq (>= 8.4)
- Bevisassistent for højere ordens logik - topniveau og kompiler
-
- dep: libc6 (>= 2.29)
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)
- GDK Pixbuf-bibliotek
-
- dep: libglib2.0-0 (>= 2.35.9)
- GLib-bibliotek for C-rutiner
-
- dep: libgtk2.0-0 (>= 2.24.0)
- Grafisk brugergrænsefladebibliotek til GTK - ældre version
-
- dep: libpango-1.0-0 (>= 1.22.0)
- Layout og optegning af internationaliseret tekst
-
- dep: proofgeneral (>= 4.3~pre130510)
- Generisk brugerflade for bevisassistenter
Download prooftree
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| arm64 | 0.13-2+b2 | 1,254.6 kB | 5,875.0 kB | [list of files] |