Giters

HarrisonGrodin / Completion.jl

Knuth-Bendix completion algorithm

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Completion.jl

Knuth-Bendix completion algorithm

About

Knuth-Bendix completion algorithm

License:MIT License

Languages

Language:Julia 100.0%