Language

Package: emacs-company-coq @ 1.0.1

Synopsis

Emacs extensions for Proof General's Coq mode

Description

This package includes a collection of Company mode backends for Proof-General's Coq mode, and many useful extensions to Proof-General. It features:

  • Prettification of operators, types, and subscripts,

  • Auto-completion,

  • Insertion of cases,

  • Fully explicit intros,

  • Outlines, code folding, and jumping to definition,

  • Help with errors,

  • and more.

Home page
https://github.com/cpitclaudel/company-coq
Location
gnu/packages/emacs-xyz.scm (line: 5367, column: 2)
License

Lint warnings

LinterMessageLocation
No lint warnings