The TeX Catalogue Online

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