Ankündigungen für prftree

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
Betreuer	Marco Benini

Atom Atom-1.0-Feed mit Ankündigungen für das Paket prftree.
RSS RSS-2.0-Feed mit Ankündigungen für das Paket prftree.