curegit/knuth-bendix-completion

クヌース・ベンディックス完備化アルゴリズムの OCaml 実装

语言：OCaml · GitHub 星标：2 · Fork：2

话题：automated-theorem-provers · term-rewriting · word-problems

在 GitHub 上查看原仓库