EasyCrypt reference manual
========================================================================

.. toctree::
   :maxdepth: 2

   tactics