Package: prooftree (0.13-2 and others)

[ Source: prooftree  ]

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.

Tags: Interface Toolkit: GTK

Other Packages Related to prooftree

• dep: coq (>= 8.4)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libc6 (>= 2.29) [not armel, mips64el, mipsel]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [not armel, mips64el, mipsel]

  GDK Pixbuf library (transitional package)

• dep: libglib2.0-0 (>= 2.35.9) [not armel, mips64el, mipsel]

  GLib library of C routines

• dep: libgtk2.0-0 (>= 2.24.32) [not armel, mips64el, mipsel]

  GTK graphical user interface library - old 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 and rendering of internationalized text

• dep: ocaml-base-nox-4.11.1 [armel, mips64el, mipsel]

  virtual package provided by ocaml-base-nox

• dep: proofgeneral (>= 4.3~pre130510)

  generic frontend for proof assistants

Download prooftree

Download for all available architectures

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]