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.
- lpform: Typesetting linear programming formulations and sets of equations
- petri-nets: A set TeX/LaTeX packages for drawing Petri nets
- tex-ewd: Macros to typeset calculational proofs and programs in Dijkstra's style
- systeme: Format systems of equations