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.
Community Comments