#

Search | Home | Alpha | Brief | Topical | Hierarchical

proofs

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: other Catalogued: 2007-01-06

- Visit
  - Visit a nearby CTAN:/macros/generic/proofs/taylor. If this fails, try Cambridge.
  - Visit Cambridge:/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 TeX Live.
  - This package is included in MikTeX.