mirror of
https://github.com/doomemacs/doomemacs
synced 2025-09-10 15:33:36 -05:00
:lang coq
This module adds coq support, powered by Proof General, with code completion via company-coq.
This module adds coq support, powered by Proof General, with code completion via company-coq.