Stephen's procedure for finitely presented semigroupsΒΆ

This page contains links to the functionality in libsemigroups_pybind11 related to Stephen's procedure for finitely presented semigroups.