Skip to content

Knuth bendix search#453

Closed
james-d-mitchell wants to merge 2 commits into
libsemigroups:mainfrom
james-d-mitchell:knuth-bendix-search
Closed

Knuth bendix search#453
james-d-mitchell wants to merge 2 commits into
libsemigroups:mainfrom
james-d-mitchell:knuth-bendix-search

Add support for TietzeExplorer

fcd61f2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
clang-format
succeeded Jun 18, 2026 in 9s