Announcements for prftree

prftree – Macros for building proof trees

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

Package	prftree
Version	1.6 2019-06-19
Maintainer	Marco Benini

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