A fast-ish term rewriting system in rust, with focus/goal on knuth bendix completion algorithm
- 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