Aart Middeldorp

ProTeM: A Proof Term Manipulator (System Description)

2018 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

Proof terms are a useful concept for reasoning about computations in term rewriting. Human calculation with proof terms is tedious and error-prone. We present ProTeM, a new tool that offers support for manipulating proof terms …