prooftrees
Forest-based proof trees (symbolic logic)
See also forest.
The author is Clea F. Rees. The package is Copyright © 2016-2017 Clea F. Rees.
License: lppl1.3 Version: 0.6 Catalogued: 2017-02-09