Ondokuz / mathpartir

LaTeX macros for typesetting inference rules - transitional package

•     Ralf Treinen
•     [email protected]
•     http://cristal.inria.fr/~remy/latex/index.html#mathpartir
•     1.2.0-7
•     mathpartir_1.2.0-7_all.deb
•     3.0 KiB
•     tex
•     all
•      mathpartir_1.2.0-7.debian.tar.xz
            mathpartir_1.2.0-7.dsc
            mathpartir_1.2.0.orig.tar.gz
•     Debian Versiyonu: 1.2.0-7
•     LaTeX macros for typesetting inference rules - transitional package