Package: mathpartir (1.2.0-3)

[ Source: mathpartir  ]

LaTeX macros for typesetting inference rules

This package contains LaTeX macros for

 * typesetting a sequence of math formulas in mixed horizontal and vertical
   mode
 * typesetting inference rules

Tags: Field: Mathematics, Role: Plugin, Purpose: use::typesetting, works-with-format::tex, Works with: Text

Other Packages Related to mathpartir

• dep: dpkg (>= 1.14.18)

  systém na správu balíkov Debianu

• dep: tex-common (>= 1.18)

  common infrastructure for building and installing TeX

• dep: texlive-latex-base

  TeX Live: Basic LaTeX packages

Download mathpartir

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	31.1 kB	152.0 kB	[list of files]