.. Copyright (c) 2022, J. D. Mitchell

   Distributed under the terms of the GPL license version 3.

   The full license is in the file LICENSE, distributed with this software.

Stephen's procedure for finitely presented semigroups
=====================================================

.. cpp:namespace:: libsemigroups

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

.. toctree::
   :maxdepth: 1

   _generated/libsemigroups__stephen
   api/stephen-helpers
