The TeX Catalogue Online

Search | Home | Alpha | Brief | Topical | Hierarchical | Full


proofsMacros for building proof trees.

This package was implemented by Paul Taylor and catalogued for CTAN.

Visit CTAN:macros/generic/proofs/taylor/Download from somewhere nearby (Search)Download from DanteIncluded in TeXLive distribution in latex3License: unknown Updated: 1999/03/03

TeX Catalogue (CTAN Edition) by Graham Williams