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 ---------------------------------------------------------------------- This package is located at http://mirror.ctan.org/macros/latex/contrib/prftree/ More information is at http://www.ctan.org/pkg/prftree We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html . ------------------------------------------------------------------------ Thanks for the upload. For the CTAN Team Petra RĂ¼be-Pugliese _______________________________________________ Ctan-ann mailing list Ctan-ann@dante.de https://lists.dante.de/mailman/listinfo/ctan-ann