.. _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
