knuth_bendix. Knuth-Bendix algorithm implementation for finitely generated groups, in Python.

github.com/dmishin/knuth_bendix

Problem

Audience

Updates

No founder updates yet. Check back soon.