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
Visit
Visit Dante:/macros/generic/proofs/taylor
Download
Documentation
Package documentation: prooftree-doc.pdf.
Distributions
This package is included in MikTeX.