Skip to content

0.7.2

Choose a tag to compare

@james-d-mitchell james-d-mitchell released this 12 Jan 18:25
· 633 commits to main since this release

This is a minor change related to some forthcoming changes in libsemigroups.