.. _tools:

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

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

.. toctree::
   :maxdepth: 1

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