Prooftree is a program for proof-tree visualization during interactive proof development in a theorem prover. It is currently being developed for Coq and Proof General. Prooftree helps against getting lost between different subgoals in interactive proof development. It clearly shows where the current subgoal comes from and thus helps in developing the right plan for solving it.
Extracted automatically from Prooftree homepage
brew install prooftree
The following 2 dependencies will be installed if you install Prooftree: