AProVE

Analysis of Term Rewrite System (AProVE Format)

Accepted file formats: tes

Version Termcomp2019
Disclaimer