The TeX Catalogue OnLine, Entry for prooftrees, Ctan Edition

VPSPulse Mirrors

High-Performance Open-Source Archive

The TeX Catalogue OnLine, Entry for prooftrees, Ctan Edition

The TeX Catalogue Online

Search | Home | Alpha | Brief | Topical | Hierarchical

Forest-based proof trees (symbolic logic)

See also forest.

The author is Clea F. Rees. The package is Copyright © 2016-2017 Clea F. Rees.

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.

Need mirroring services?
Contact our team at info@vpspulse.com.

Mirror powered by VPSpulse

Infrastructure sponsored by VPSPulse & Secure Payments by ArionPay.