------------------
Table of contents
------------------

.. toctree::
   :caption: The language

.. toctree::
   :caption: The proof engine

.. toctree::
   :caption: User extensions

.. toctree::
   :caption: Practical tools

.. toctree::
   :caption: Addendum

.. toctree::
   :caption: Reference

   zebibliography

.. toctree::
   :caption: Indexes
	     
   genindex
   coq-cmdindex
   coq-tacindex	      
   coq-optindex	      
   coq-exnindex	      
   
.. No entries yet
  * :index:`thmindex`