# prftree – Macros for building proof trees

A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.

Sources | `/macros/latex/contrib/prftree` |

Documentation | |

Version | 1.6 2019-06-19 |

Licenses | GNU General Public License |

Maintainer | Marco Benini |

Contained in | TeX Live as prftree MiKTeX as prftree |

Topics | Tree Maths Proof |

See also | proofs |

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

## Announcements

## Suggestions

Maybe you are interested in the following packages as well.

## Community Comments