AProVE

Analysis of Term Rewrite System (AProVE Format)

Accepted file formats: tes

Version Termcomp2020
Disclaimer