package

mathpartir

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

Metadata

Version

1.3.2

License

Status

Source

pkgs/tools/typesetting/tex/texlive/build-texlive-package.nix:75

Platforms (77)

Darwin

FreeBSD

Genode

GHCJS

Linux

MMIXware

NetBSD

none

OpenBSD

Redox

Solaris

WASI

Windows

Show all