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.
|License||Do Not Sell Except by Arrangement|
|Copyright||1989–1996 Paul Taylor|
support for typesetting mathematics|
mechanisms for drawing trees
Download the contents of this package in one zip archive (90.6k).
Maybe you are interested in the following packages as well.
- emtrees: Draw labelled trees, using emTeX \specials
- systeme: Format systems of equations
- tex-ewd: Macros to typeset calculational proofs and programs in Dijkstra's style
- undertilde-gen: A simple macro for placing a tilde under a character