[ 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:
visualizzazione di alberi di dimostrazione per Proof General
Prooftree disegna alberi di dimostrazione durante lo sviluppo di dimostrazioni interattive con Proof General. Si possono ispezionare obiettivi e comandi di dimostrazione e controllare se variabili esistenziali sono state introdotte e istanziate. Attualmente Prooftree funziona solo per Coq.
Other Packages Related to prooftree
|
|
|
|
-
- dep: coq (>= 8.4)
- assistente alle dimostrazioni per logiche di ordine superiore (toplevel e compilatore)
-
- 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)
- frontend generico per assistenti alla dimostrazione
Download prooftree
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| mipsel | 0.13-2+b1 | 1,142.7 kB | 4,784.0 kB | [list of files] |