AProVE

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

Accepted file formats: inttrs

Version AProVE2023
Disclaimer