This repository was archived by the owner on Aug 18, 2021. It is now read-only.

Todd coxeter#12

Open

hivert wants to merge 1 commit intolibsemigroups:masterfrom

hivert:ToddCoxeter

Commits on Jan 17, 2020

Todd-Coxeter + examples
hivert
committed