Skip to content

Add KnuthBendix algorithm and cong-common#72

Merged
jswent merged 13 commits into
mainfrom
add-knuth-bendix
Apr 25, 2026
Merged

Add KnuthBendix algorithm and cong-common#72
jswent merged 13 commits into
mainfrom
add-knuth-bendix

Commits

Commits on Apr 25, 2026