/trs

Reason about Term Rewriting Systems

Primary LanguageProlog

No issues in this repository yet.