mirrorcatalogs logo
QArea software outsourcing company Bughuntress software testing compny
The TeX Catalogue OnLine, Entry for proofs, Ctan Edition

The TeX Catalogue Online


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.

The author is Paul Taylor. The package is Copyright © 1989-1996 Paul Taylor.

License: nosell Version dated: 1996-08-20 Catalogued: 2015-08-03

Go to http://custom-software-development.biz/ for software development
Powered by QArea Company and Bughuntress QA Lab