ukb (npm): Equational reasoning based on the unfailing Knuth-Bendix completion procedure
Keywords: equations|reasoning|Knuth-Bendix|completion|rewriting