2026-07-20T07:31:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9201 2024-03-12T11:57:50Z ddc:004 open_access

ProTeM: A Proof Term Manipulator (System Description) Kohl, Christina Middeldorp, Aart Proof terms term rewriting interactive tool 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 that represent multisteps in left-linear rewrite systems. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Christina Kohl and Aart Middeldorp 2018 Is Part Of LIPIcs, Volume 108, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSCD.2018.31 urn:nbn:de:0030-drops-92013 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2018.31 eng https://creativecommons.org/licenses/by/3.0/legalcode