Paket: prooftree (0.13-2 och andra)

Länkar för prooftree

Debianresurser:

Hämta källkodspaketet prooftree:

Ansvariga:

Externa resurser:

Hemsida [askra.de]

Liknande paket:

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.

Märken: Interface Toolkit: GTK

Andra paket besläktade med prooftree

beror

rekommenderar

föreslår

enhances

dep: coq (>= 8.4)

proof assistant for higher-order logic (toplevel and compiler)
dep: liblablgtk2-ocaml-ea813

virtuellt paket som tillhandahålls av liblablgtk2-ocaml
dep: ocaml-base-nox-4.11.1

virtuellt paket som tillhandahålls av ocaml-base-nox
dep: proofgeneral (>= 4.3~pre130510)

generic frontend for proof assistants

Hämta prooftree

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
armel	0.13-2+b1	1.142,4 kbyte	4.784,0 kbyte	[filförteckning]