/Completion.jl

Knuth-Bendix completion algorithm

Primary LanguageJuliaMIT LicenseMIT

Watchers