Installation of Coq - rocq-prover/rocq GitHub Wiki
Installation of Coq with an IDE
You need to install Coq and either CoqIDE (recommended for beginners) or Proof General (recommended for emacs users).
- Installation of the Coq system:
- Configuration of CoqIDE
- Configuration of Proof General