ctan-ann - prftree Announcements of the Comprehensive TeX Archive Network ctan-ann-prftree 2026-04-12T14:35:05Z New on CTAN: prftree mailman.2959.1417532469.4370.ctan-ann@dante.de 2014-12-02T16:00:42Z Marco Benini submitted the prftree package. ... Marco Benini submitted the prftree package. Version number: 2014/11/30 License type: gpl Summary description: A new package to typeset proofs in natural deduction and similar Announcement text:
A new package to typeset proofs in natural deduction and similar ... ]]> CTAN Announcements ctan-ann at dante.de CTAN update: prftree mailman.5.1561039667.2431.ctan-ann@ctan.org 2019-06-20T12:28:41Z Marco Benini submitted an update to the prftree package. ... 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 ... ]]> CTAN Announcements ctan-ann at ctan.org