Stephen’s procedure for finitely presented semigroups

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

• Stephen
• Stephen helpers