Descrição
Regras de inferência de tipos podem ser compostas de forma limpa em documentos LaTeX.
É um pacote LaTeX para pesquisadores, estudantes e autores que escrevem sobre teoria de linguagens de programação ou métodos formais. Ele é usado durante a compilação do documento, não aberto como app.