CTAN Comprehensive TeX Archive Network

Announcements for prftree

prftree – Macros for building proof trees

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

Packageprftree
Version1.6 2019-06-19
MaintainerMarco Benini

Atom Atom 1.0 feed with announcements for package prftree.
RSS RSS 2.0 feed with announcements for package prftree.

Guest Book Sitemap Contact Contact Author