prooftree

Proof tree visualization program
https://askra.de/software/prooftree

Current version
0.13

prooftree requires the following formulae to be installed:
lablgtk 2.18.6 Objective Caml interface to gtk+
ocaml 4.06.0 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