Paquet : mathpartir (1.2.0-3)

[ Paquet 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

Autres paquets associés à mathpartir

• dep: dpkg (>= 1.14.18)

  Debian package management system

• dep: tex-common (>= 1.18)

  common infrastructure for building and installing TeX

• dep: texlive-latex-base

  TeX Live: Basic LaTeX packages

Télécharger mathpartir

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	31,1 ko	152,0 ko	[liste des fichiers]