Skip to content

Stephen facade#445

Merged
Joseph-Edwards merged 3 commits into
libsemigroups:mainfrom
james-d-mitchell:stephen-facade
Jun 3, 2026
Merged

Stephen facade#445
Joseph-Edwards merged 3 commits into
libsemigroups:mainfrom
james-d-mitchell:stephen-facade