ConCon 1.7.2.0

1. Input Conditional Term Rewrite System

or upload file

2. Select Action


      
      infeasibility
      
      certification

3. Start ConCon