The TeX Catalogue Online

by Graham Williams

CTAN Edition

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