Skip to content

Update KnuthBendix#449

Merged
Joseph-Edwards merged 7 commits into
libsemigroups:mainfrom
james-d-mitchell:improve-knuth-bendix-newest
Jun 12, 2026
Merged

Update KnuthBendix#449
Joseph-Edwards merged 7 commits into
libsemigroups:mainfrom
james-d-mitchell:improve-knuth-bendix-newest

Format

07392c2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
codespell
succeeded Jun 12, 2026 in 12s