Directory tex-archive/macros/generic/proofs/taylor
Files
| Name | Size | Date | Notes |
|---|---|---|---|
QED.sty |
32907 | 1996-06-24 08:54:00 | Produce an "end-of-proof" mark |
prooftree-doc.dvi |
7336 | 1995-10-03 12:53:00 | |
prooftree-doc.pdf |
80732 | 2006-03-19 05:02:00 | |
prooftree-doc.tex |
5056 | 1995-10-03 12:53:00 | |
prooftree.sty |
12552 | 1996-08-20 03:15:00 | ==> /macros/generic/proofs/taylor/prooftree.tex |
|
prooftree.tex |
12552 | 1996-08-20 03:15:00 |
Download the complete
contents of this directory in one zip archive
(90.6k).
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.
| Documentation |
Package documentation |
| Version | 1996-08-20 |
| License | Do Not Sell Except by Arrangement |
| Copyright | 1989-1996 Paul Taylor |
| Maintainer | Paul Taylor |
| Contained in | MiKTeX as proofs |
| Topics |
mechanisms for drawing trees support for typesetting mathematics |