CTAN Comprehensive TeX Archive Network

An­nounce­ments for prftree

prftree – Macros for build­ing proof trees

A pack­age to type­set proof trees for nat­u­ral de­duc­tion cal­culi, se­quent-like cal­culi, and sim­i­lar.

Pack­ageprftree
Ver­sion1.6 2019-06-19
Main­tainerMarco Benini

Atom Atom 1.0 feed with an­nounce­ments for pack­age prftree.
RSS RSS 2.0 feed with an­nounce­ments for pack­age prftree.

Guest Book Sitemap Contact Contact Author