Proof tree visualization program

Current version

prooftree requires the following formulae to be installed:
lablgtk 2.18.6_1 Objective Caml interface to gtk+
ocaml 4.06.1 General purpose programming language in the ML family

Recent formula history

ilovezfs prooftree 0.13
Viktor Szakats prooftree: secure url(s)
Tom Schoonjans prooftree: remove unneccessary x11 dependency
Tom Schoonjans prooftree: migrate from x11

Formula code at GitHub