==========================
 The Coq Reference Manual
==========================

------------
Introduction
------------

.. include:: introduction.rst

.. include:: license.rst

----------------------
Specification language
----------------------

.. toctree::

   language/core/index
   language/extensions/index

------
Proofs
------

.. toctree::

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

---------
Using Coq
---------

.. toctree::

   using/libraries/index
   using/tools/index

--------
Appendix
--------

.. toctree::

   appendix/history-and-changes/index
   zebibliography