[  sarge  ] [  etch  ] [  etch-m68k  ] [  lenny  ] [  sid  ]
[ Source: mathpartir  ]

Package: mathpartir (1.1.1-2)

LaTeX macros for typesetting inference rules

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

Other Packages Related to mathpartir

  • depends
  • recommends
  • suggests

Download mathpartir

Download for all available architectures
Architecture Package Size Installed Size Files
all 28.8 kB116 kB [list of files]