Lean at MC 2022
===================

.. toctree::
   :maxdepth: 1

   introduction

.. toctree::
   :glob:
   :numbered: 
   :maxdepth: 2
   
   day*

.. toctree::
   :maxdepth: 1

   symbols
   tactics

   


.. Indices and tables
   ==================
   * :ref:`genindex`
   * :ref:`modindex`
   * :ref:`search`