prftree
Macros for building proof trees
See also proofs.
The author is Marco Benini.
License: gpl Version: 1.5, dated: 2016-09-03 Catalogued: 2016-09-03