mathpartir | LaTeX macros for typesetting inference rules | Mehr ...
This packages contains LaTeX macros for * typesetting a sequence of math formulas in mixed horizontal and vertical mode * typesetting inference rules . Homepage: http://pauillac.inria.fr/~remy/latex/index.html#tir