Category:Tools

From Termination-Portal.org
Jump to navigationJump to search

The following list gives an (incomplete) overview over existing tools for termination analysis.

Add a (termination) tool entry! <createarticle>

type=createarticle
prefix=Tools:
preload=Template:AddTool
default=Tool Name
buttonlabel=Create Tool Entry
align=left

</createarticle>