prooftrees

Forest-based proof trees (symbolic logic)

License: lppl1.3 Version: 0.6 Catalogued: 2017-02-09

• Visit
  • Visit a nearby CTAN:/graphics/pgf/contrib/prooftrees. If this fails, try Dante.
  • Visit Dante:/graphics/pgf/contrib/prooftrees
• Download
  • Download from a nearby CTAN (automatically identified).
  • Download from Cambridge.
• Documentation
  • Readme: README.
  • Package documentation: prooftrees.pdf.
• Distributions
  • This package is included in TeX Live.
  • This package is included in MiKTeX.