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 ])
.
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 ])
.
1.3.2