The TeX Catalogue Online

proofs

Macros for building proof trees

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

License: nosell Version dated: 1996-08-20 Catalogued: 2016-07-19