.. _tools:

================================
Command-line and graphical tools
================================

This chapter presents the command-line tools that users will need to
build their Coq project, the documentation of the CoqIDE graphical
user interface and the documentation of the parallel proof processing
feature that is supported by CoqIDE and several other GUIs.
A list of available user interfaces to interact with Coq is available
on the `Coq website <https://coq.inria.fr/user-interfaces.html>`_.

.. toctree::
   :maxdepth: 1

   ../../practical-tools/utilities
   ../../practical-tools/coq-commands
   coqdoc
   ../../practical-tools/coqide
   ../../addendum/parallel-proof-processing
