AProVE

Analysis of Integer Term Rewrite System (top-level rewriting)

Accepted file formats: inttrs

Version Termcomp2019
Disclaimer