The package defines a pair of commands \infer and \deduce, that
are used in constructing LK proof diagrams.

Homepage:
https://www.tug.org/texlive/
