[ 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) [not armel, mips64el, mipsel]
- GNU C-bibliotek: Delte biblioteker
also a virtual package provided by libc6-udeb
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [not armel, mips64el, mipsel]
- GDK Pixbuf-bibliotek - overgangspakke
-
- dep: libglib2.0-0 (>= 2.35.9) [not armel, mips64el, mipsel]
- GLib-bibliotek for C-rutiner
-
- dep: libgtk2.0-0 (>= 2.24.32) [not armel, mips64el, mipsel]
- Grafisk brugergrænsefladebibliotek til GTK - ældre version
-
- dep: liblablgtk2-ocaml-ea813 [armel, mips64el, mipsel]
- virtual package provided by liblablgtk2-ocaml
-
- dep: libpango-1.0-0 (>= 1.22.0) [not armel, mips64el, mipsel]
- Layout og optegning af internationaliseret tekst
-
- dep: ocaml-base-nox-4.11.1 [armel, mips64el, mipsel]
- virtual package provided by ocaml-base-nox
-
- dep: proofgeneral (>= 4.3~pre130510)
- Generisk brugerflade for bevisassistenter
Download prooftree
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| amd64 | 0.13-2+b1 | 1,060.9 kB | 4,973.0 kB | [list of files] |
| arm64 | 0.13-2+b1 | 1,253.3 kB | 5,875.0 kB | [list of files] |
| armel | 0.13-2+b1 | 1,142.4 kB | 4,784.0 kB | [list of files] |
| armhf | 0.13-2+b1 | 1,008.5 kB | 3,441.0 kB | [list of files] |
| i386 | 0.13-2+b1 | 1,002.0 kB | 4,201.0 kB | [list of files] |
| mips64el | 0.13-2+b1 | 1,141.8 kB | 4,784.0 kB | [list of files] |
| mipsel | 0.13-2+b1 | 1,142.7 kB | 4,784.0 kB | [list of files] |
| ppc64el | 0.13-2+b1 | 1,129.0 kB | 5,507.0 kB | [list of files] |