[ 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: liblablgtk2-ocaml-ea813
- virtual package provided by liblablgtk2-ocaml
-
- dep: ocaml-base-nox-4.11.1
- 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 |
|---|---|---|---|---|
| armel | 0.13-2+b1 | 1,142.4 kB | 4,784.0 kB | [list of files] |