ConCon 1.4.0.0

1. Input Conditional Term Rewrite System

or upload file

2. Select Action


      
      infeasibility
      
      certification

3. Start ConCon