Debian logoDebian Screenshots >

mathpartir

LaTeX macros for typesetting inference rules

Description

This package contains LaTeX macros for
 * typesetting a sequence of math formulas in mixed horizontal and vertical
   mode
 * typesetting inference rules

Homepage

http://cristal.inria.fr/~remy/latex/index.html#mathpartir


Upload more screenshots