==========================
Introduction and Contents
==========================

.. include:: introduction.rst

Contents
--------

.. toctree::

   self

.. toctree::
   :caption: Specification language

   language/core/index
   language/extensions/index

.. toctree::
   :caption: Proofs

   proofs/writing-proofs/index
   proofs/automatic-tactics/index
   proofs/creating-tactics/index

.. toctree::
   :caption: Using the Rocq Prover

   using/libraries/index
   using/tools/index

.. toctree::
   :caption: Appendix

   appendix/history-and-changes/index
   appendix/indexes/index
   zebibliography

.. No entries yet
  * :index:`thmindex`


.. include:: license.rst
