The TeX Catalogue Online

by Graham Williams

CTAN Edition

proofs Macros for building proof trees.
Visit CTAN:macros/latex/contrib/supported/proofs Download from somewhere nearby (Search) Download from Dante Included in TeXLive distribution in latex3 License: unknown     Catalogued: 1999/03/03