Comprehensive TeX Archive Network

proofs – Macros for building proof trees

The pack­age will build a proof tree for Nat­u­ral De­duc­tion, Se­quent Cal­cu­lus, etc. The bun­dle also in­cludes a QED pack­age, for use to put marks at the end of a proof.

Sources /macros/generic/proofs/taylor
Ver­sion 1996-08-20
Li­cense Do Not Sell Ex­cept by Ar­range­ment
Main­tainer Paul Tay­lor
Topics sup­port for type­set­ting math­e­mat­ics
mech­a­nisms for draw­ing trees

Down­load the con­tents of this pack­age in one zip archive (90.6k).

Com­mu­nity Com­ments

Guest Book Sitemap Contact Contact Author