Web Interface



Please enter your program here in TPDB format or OBJ/Maude format:


or upload a file:    or load an existing example:

Basic usage

   using a timeout of seconds.

Proof settings
  1. polynomials,
  2. coefficients,
  3. coefficients dimension ,
  4. coefficients maximum value ,
  5. and timeout of seconds.
Proof techniques

Proof with (only (CS-)TRSs in TPDB format):

Result