prooftree - proof-tree visualization for Proof General

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Universe amd64
Package name prooftree
Package version 0.12
Package release 2build1
Package architecture amd64
Package type deb
Installed size 2.61 KB
Download size 592.61 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-2build1_i386.deb 0.12 i386 Ubuntu Universe
prooftree - - -


Name Value
coq >= 8.4
libc6 >= 2.15
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
proofgeneral >= 4.3~pre130510


Type URL
Binary Package prooftree_0.12-2build1_amd64.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




2015-11-04 - Łukasz 'sil2100' Zemczak <>
prooftree (0.12-2build1) xenial; urgency=medium
* No-change rebuild against ocaml 4.02.
2015-10-14 - Stéphane Glondu <>
prooftree (0.12-2) unstable; urgency=low
[ Stéphane Glondu ]
* Team upload
* Fix compilation with OCaml 4.02
[ Hendrik Tews ]
* lintian canonical vcs
2013-05-17 - Hendrik Tews <>
prooftree (0.12-1) unstable; urgency=low
* Initial release (Closes: #672480)

See Also

Package Description
proot_5.1.0-1vivid1ubuntu1_amd64.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_2.16.0-1_amd64.deb property-based host configuration management in haskell
prosody-modules_0.0~hg20150813.12ac88940fe3-2_all.deb Selection of community modules for Prosody
prosody_0.9.10-1_amd64.deb Lightweight Jabber/XMPP server
prospector_0.11.7-3_all.deb comprehensive static Python code analyzer
proteinortho_5.11+dfsg-1_amd64.deb Detection of (Co-)orthologs in large-scale protein analysis
protobuf-c-compiler_1.2.1-1_amd64.deb Protocol Buffers C compiler (protobuf-c)
prottest_3.4.1+dfsg-2_all.deb selection of best-fit models of protein evolution
prover9-doc_0.0.200902a-2_all.deb documentation for Prover9 and associated programs
prover9-mace4_0.5.dfsg-3_all.deb GUI for Prover9 and Mace4
prover9_0.0.200911a-2.1_amd64.deb theorem prover and countermodel generator
proxsmtp_1.10-2.1_amd64.deb multi purpose SMTP Proxy
proxychains_3.1-7_all.deb proxy chains - redirect connections through proxy servers
proxycheck_0.49a-4_amd64.deb checks existence of open proxy