Programming in Lean
===================

.. toctree::
    :numbered:
    :maxdepth: 2

    introduction
    types_and_terms
    basic_programming
    monads
    writing_tactics
    writing_automation

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