Geeks
chrisbouchard
/
termination
A library for first-order term-rewriting
Primary Language
Python
MIT License
MIT
termination GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Stargazers
Shifu-Engineer
Washington, DC