GitHub repository: HarrisonGrodin/Completion.jl
Created: 2018-09-15T06:07:17Z
Description: Knuth-Bendix completion algorithm