We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Pure Julia implementation of the Knuth-Bendix completion (focused primarily on groups and monoids)
There was an error while loading. Please reload this page.