blob: 8543c5de8a9d904f46280bb209e84d1f8b1f3da2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
.. _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
|
