CTAN Comprehensive TeX Archive Network

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.

Sources/macros/generic/proofs/taylor
Documentation
Version 1996-08-20
LicensesDo Not Sell Except by Arrangement
Copyright1989–1996 Paul Taylor
MaintainerPaul Taylor
TopicsTree
Maths

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

Community Comments

Loading...
Guest Book Sitemap Contact Contact Author