CTAN Comprehensive TeX Archive Network

Directory macros/generic/proofs/taylor

Download the contents of this package in one zip archive (90.6k).

proofs – Macros for building proof trees

The package will build a proof tree for Natural Deduction, Sequent Calculus, etc. The bundle also includes a QED package, for use to put marks at the end of a proof.

Packageproofs
Version 1996-08-20
LicensesDo Not Sell Except by Arrangement
Copyright1989–1996 Paul Taylor
MaintainerPaul Taylor
TopicsTree
Maths
...
Guest Book Sitemap Contact Contact Author