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: 2012-05-30