The TeX Catalogue OnLine, Entry for proofs, Ctan Edition

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.

License: nosell Version dated: 1996-08-20 Catalogued: 2008-11-29

Visit
- Visit a nearby CTAN:/macros/generic/proofs/taylor. If this fails, try Dante.
- Visit Dante:/macros/generic/proofs/taylor
Download
- Download from a nearby CTAN (automatically identified).
- Download from Cambridge.
Documentation
- Read documentation for this package from: prooftree-doc.pdf.
Distributions
- This package is included in MikTeX.