Skip to content

Sync Forest and its helpers with recent changes in libsemigroups#347

Merged
james-d-mitchell merged 3 commits intolibsemigroups:mainfrom
james-d-mitchell:sync-forest
Nov 9, 2025
Merged

Sync Forest and its helpers with recent changes in libsemigroups#347
james-d-mitchell merged 3 commits intolibsemigroups:mainfrom
james-d-mitchell:sync-forest

Commits

Commits on Nov 9, 2025