knube

School project.

An implementation of the Knuth-Bendix completion algorithm applied to simple expressions.

See the documentation for more details.