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.
Sources | /macros/generic/proofs/taylor |
Documentation | |
Version | 1996-08-20 |
Licenses | Do Not Sell Except by Arrangement |
Copyright | 1989–1996 Paul Taylor |
Maintainer | Paul Taylor |
Topics | Tree Maths |
Download the contents of this package in one zip archive (90.6k).
Suggestions
Maybe you are interested in the following packages as well.
My Rating
Only registered and authenticated members may vote. Please Login to vote.
Community Comments
No comments on this package are available yet. You can be the first to rate this package!