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.
|Do Not Sell Except by Arrangement
|1989–1996 Paul Taylor
Download the contents of this package in one zip archive (90.6k).
Maybe you are interested in the following packages as well.
- qed: Produce an "end-of-proof" mark
- dyntree: Construct Dynkin tree diagrams
- lpform: Typesetting linear programming formulations and sets of equations
- petri-nets: A set TeX/LaTeX packages for drawing Petri nets