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

chore: run formatter

fc95df4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar