ProTeM: A Proof Term Manipulator
Authors: Christina Kohl and Aart Middeldorp
Paper Information
| Title: | ProTeM: A Proof Term Manipulator |
| Authors: | Christina Kohl and Aart Middeldorp |
| Proceedings: | FSCD Presented Papers |
| Editor: | Helene Kirchner |
| Keywords: | proof terms, term rewriting, interactive tool |
| Abstract: | ABSTRACT. 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. |
| Pages: | 8 |
| Talk: | Jul 12 15:00 (Session 77A: System presentation) |
| Paper: |  |