:lang coq This module adds coq support, powered by Proof General. Code completion (company-coq) Snippets