Term Rewriting

A fast-ish term rewriting system in rust, with focus/goal on knuth bendix completion algorithm

TO-DO:

• terms
• parser implementation
• apply axioms/rewrite rules on terms
• order of complexity
• subsumption order
• find critical terms
• superposition
• ...
• Knuth Bendix completion algorithm
• solving word problem for finitely presented groups
• finding grobner base