mathpartir

Typesetting sequences of math formulas, e.g. type inference rules

License: gpl2 Version: 1.3.2 Catalogued: 2018-01-06

• Visit
  • Visit a nearby CTAN:/macros/latex/contrib/mathpartir. If this fails, try Dante.
  • Visit Dante:/macros/latex/contrib/mathpartir
• Download
  • Download from a nearby CTAN (automatically identified).
  • Download from Cambridge.
• Documentation
  • Readme: README.
  • Package documentation: mathpartir.pdf.
• Distributions
  • This package is included in TeX Live.
  • This package is included in MiKTeX.