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|
|Contained in||MiKTeX as proofs|
support for typesetting mathematics|
mechanisms for drawing trees