doomemacs/modules/lang/coq/README.org

:lang coq

• Install

This module adds coq support, powered by Proof General, with code completion via company-coq.

Install

Unfortunately, Proof General needs to be installed manually.

git clone https://github.com/ProofGeneral/PG $PG-LOC && cd $PG-LOC
make

Manually set the variable +coq-pg-loc to the value of $PG-LOC in your doom config.