/SizeChangeTool

A termination checker for higher-order rewriting with dependent types

Primary LanguageOCaml

Watchers