proofs

Macros for building proof trees

License: nosell Version dated: 1996-08-20 Catalogued: 2016-07-19

• 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
  • Package documentation: prooftree-doc.pdf.