AProVE

Analysis of Term Rewrite System (AProVE Format)

Accepted file formats: tes

Version AProVE2023
Disclaimer