Geeks
marionette-of-u
/
trs
Term Rewriting System (OCaml Ver.)
Primary Language
OCaml
MIT License
MIT
trs GitHub
Markdown
Readme
0
Issues
4
Stargazers
1
Watcher
trs
Term Rewriting System (OCaml Ver.)