texlive-prftree - Macros for building proof trees
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | GPL+ |
| Vendor: | Alcance Libre, Inc. |
- Description:
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.
Packages
| texlive-prftree-svn54080-46.fc14.al.noarch [59 KiB] |
Changelog
by Tom Callaway (2021-09-09):
- add Requires: texlive-epstopdf to texlive-epstopdf-pkg (bz2002690) |