Verzeichnis macros/latex/contrib/prftree
README
The prftree package provides a package to write proof trees for natural deduction calculi, sequent-like calculi, and similar. The package is composed by the filed - prftree.sty: containing the LaTeX engine to typeset proof trees; - prftreedoc.pdf: the human readable documentation for the package; - prftreedoc.tex: the source code for the documentation. The package is distributed under the GNU General Public License.
Herunterladen des vollständigen Inhalts dieses Pakets in einem Zip-Archiv (366.7k).
prftree – Macros for building proof trees
A package to typeset proof trees for natural deduction calculi, sequent-like calculi, and similar.
Paket | prftree |
Version | 1.6 2019-06-19 |
Lizenzen | GNU General Public License |
Betreuer | Marco Benini |
Enthalten in | TeX Live als prftree MiKTeX als prftree |
Themen | Mathematik Bäume Proof |
Siehe auch | proofs |