The TeX Catalogue Online


Macros for building proof trees

The package will build a proof tree for Natural Deduction, Sequent Calculus, etc. The bundle also includes a QED package, for use to put marks at the end of a proof.

The author is Paul Taylor. The package is Copyright © 1989-1996 Paul Taylor.

License: nosell Version dated: 1996-08-20 Catalogued: 2015-08-03