article
Open access
ProTeM: A Proof Term Manipulator (System Description)
Research footprint
At a glance
- Citations
- 3
- References
- 0
- Comments
- 0
Paper overview
Öz
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.
Record transparency
Publication details
- DOI
- 10.4230/lipics.fscd.2018.31
- OpenAlex
- W2885703247
- Document type
- article
- Language
- EN
- Source
- DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
- Last metadata update
Comments
Oturum Açın to join the discussion.