Description
Typesetting sequences of math formulas, e.g. type inference rules.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.mathpartir ]).
package
mathpartir
Metadata
Version
1.3.2Typesetting sequences of math formulas, e.g. type inference rules.
This package cannot be installed or used directly. Please use texlive.withPackages (ps: [ ps.mathpartir ]).
1.3.2