# 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.

Sources | `/macros/generic/proofs/taylor` |

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 |
support for typesetting mathematics mechanisms for drawing trees |

Download the contents of this package in one zip archive (90.6k).

## Suggestions

Maybe you are interested in the following packages as well.

- dirtree: Display trees in the style of windows explorer
- emtrees: Draw labelled trees, using emTeX \specials
- variations: Typeset tables of variations of functions
- undertilde-gen: A simple macro for placing a tilde under a character