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):