emacs-company-coq 1.0.1 Emacs extensions for Proof General's Coq mode
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.
- Website: https://github.com/cpitclaudel/company-coq
- License: GPL 3+
- Package source: emacs-xyz.scm
- Patches: None
- Builds: x86_64-linux, i686-linux