Description
Type-inference rules can be typeset cleanly in LaTeX documents.
This is a LaTeX package for researchers, students, and authors writing programming-language theory or formal-methods material. It is used during document compilation, not opened as an app.