AProVE

Analysis of Integer Term Rewrite System (RTA'09)

Accepted file formats: itrs

Version AProVE2023
Disclaimer