We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
trs is a parsing library for the TRS format, the format for first-order rewrite systems.