.. _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| standalone
user interface and the documentation of the parallel proof processing
feature that is supported by |CoqIDE| and several other user interfaces.
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/coq-commands
   ../../practical-tools/utilities
   coqdoc
   ../../practical-tools/coqide
   ../../addendum/parallel-proof-processing