Geeks
triska
/
trs
Reason about Term Rewriting Systems
Primary Language
Prolog
trs Home Page
trs GitHub
Markdown
Readme
0
Issues
14
Stargazers
4
Watchers
No issues in this repository yet.