prooftree - proof-tree visualization for Proof General

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name prooftree
Package version 0.12
Package release 1
Package architecture i386
Package type deb
Installed size 1.70 KB
Download size 610.04 KB
Official Mirror
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.


Package Version Architecture Repository
prooftree_0.12-1_amd64.deb 0.12 amd64 Debian Main
prooftree - - -


Name Value
coq >= 8.4
libatk1.0-0 >= 1.12.4
libc6 >= 2.7
libcairo2 >= 1.2.4
libfontconfig1 >= 2.10.0
libfreetype6 >= 2.2.1
libgdk-pixbuf2.0-0 >= 2.22.0
libglib2.0-0 >= 2.35.9
libgtk2.0-0 >= 2.24.0
libpango-1.0-0 >= 1.14.0
libpangocairo-1.0-0 >= 1.14.0
libpangoft2-1.0-0 >= 1.14.0
proofgeneral >= 4.3~pre130510


Type URL
Binary Package prooftree_0.12-1_i386.deb
Source Package prooftree

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install prooftree deb package:
    # sudo apt-get install prooftree




2013-05-17 - Hendrik Tews <>
prooftree (0.12-1) unstable; urgency=low
* Initial release (Closes: #672480)

See Also

Package Description
proot_4.0.2-1_i386.deb emulate chroot, bind mount and binfmt_misc for non-root users
propaganda-debian_13.5.10_all.deb Propaganda background image volume for Debian
propellor_0.9.1_i386.deb property-based host configuration management in haskell
prosody_0.9.7-2+deb8u4_i386.deb Lightweight Jabber/XMPP server
prosper_1.00.4+cvs.2007.05.01-4_all.deb LaTeX class for writing transparencies
protobuf-c-compiler_1.0.2-1_i386.deb Protocol Buffers C compiler (protobuf-c)
protobuf-compiler_2.6.1-1_i386.deb compiler for protocol buffer definition files
prover9-doc_0.0.200902a-2_all.deb documentation for Prover9 and associated programs
prover9-mace4_0.5.dfsg-2.2_all.deb GUI for Prover9 and Mace4
prover9_0.0.200911a-2.1_i386.deb theorem prover and countermodel generator
proxsmtp_1.10-2.1_i386.deb multi purpose SMTP Proxy
proxychains_3.1-6_all.deb proxy chains - redirect connections through proxy servers
proxycheck_0.49a-4_i386.deb checks existence of open proxy
proxytrack_3.48.20-1_i386.deb Build HTTP Caches using archived websites copied by HTTrack
proxytunnel_1.9.0+svn250-5_i386.deb Create tcp tunnels trough HTTPS proxies, for using with SSH