Hello and welcome to TermiLog

NEW! TermiLog is now available across the globe!

Please fill in the details of your program:

Enter the path of your program:

If you encounter problems finding your file, this might help.

Use Norm:

Term Size
List Size

Constraint inference

Skipped
Performed

Query to be checked:

Wait no more than

Click here for explanations