Skip to content

Update version number to 0.0.8 and rename VERSION #18

Merged
hivert merged 5 commits intolibsemigroups:masterfrom james-d-mitchell:masterOct 23, 2023
+44-11

Commits