rocq.theory
-----------

See the documentation on the :ref:`rocq-theory`, :ref:`rocq-extraction`,
:ref:`rocq-pp`, and related stanzas.
