triska / trs

Reason about Term Rewriting Systems

https://www.metalevel.at/trs/

Geek Repo

Github PK Tool