knube 0.1.0

Knuth-Bendix completion algorithm applied to simple expressions.
Documentation