ctan-ann - prftreeAnnouncements of the Comprehensive TeX Archive Networkctan-ann-prftree2024-03-28T21:42:12ZNew on CTAN: prftreemailman.2959.1417532469.4370.ctan-ann@dante.de2014-12-02T16:00:42ZMarco 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 Announcementsctan-ann at dante.de CTAN update: prftreemailman.5.1561039667.2431.ctan-ann@ctan.org2019-06-20T12:28:41ZMarco 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 Announcementsctan-ann at ctan.org