The TeX Catalogue Online

by Graham Williams

CTAN Edition


proofs Macros for building proof trees.
Visit CTAN:macros/generic/proofs/taylor/Download from somewhere nearby (Search)Download from DanteIncluded in TeXLive distribution in latex3 License: unknown Catalogued: 1999/03/03