Proof tactics reference
========================================================================

.. toctree::
   :maxdepth: 1
   :glob:

   tactics/*