Deducteam / SizeChangeTool

A termination checker for higher-order rewriting with dependent types
10Updated 4 years ago

Alternatives and similar repositories for SizeChangeTool:

Users that are interested in SizeChangeTool are comparing it to the libraries listed below