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: 2008-11-29