Reason about Term Rewriting Systems - View it on GitHub