index.latex.rst

The Coq Reference Manual

Introduction

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