CTAN update: prftree

[CTAN Announcements]

Marco Benini submitted an update to the

                prftree

package.

Version number: 1.6 2019-06-19
License type: gpl

Summary description: Macros for building proof trees

Announcement text:
----------------------------------------------------------------------


The new version 1.6 of the prftree package has a new support for proofs in 
Martin-Lof type theory and homotopy type theory. There are also a few 
improvements to the commands to typeset proofs in natural deduction and 
sequent calculi.
Moreover, a couple of commands to help the creation of new inference rules 
have been added, and stacking of premises is now implemented.


----------------------------------------------------------------------

This package is located at 
   http://mirror.ctan.org/macros/latex/contrib/prftree

More information is at
   https://www.ctan.org/pkg/prftree

------------------------------------------------------------------------

   Thanks for the upload.

     For the CTAN Team
    Erik Braun

------------------------------------------------------------------------

We are supported by the TeX users groups.   
Please join a users group; see http://www.tug.org/usergroups.html .