emacs-company-coq
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.
- Versions: 1.0.1
- Website: https://github.com/cpitclaudel/company-coq
- Licenses: GPL 3+
- Package source: gnu/packages/emacs-xyz.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of emacs-company-coq as follows:
guix install emacs-company-coq
Or install a particular version:
guix install emacs-company-coq@1.0.1
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.
Badge code
You can use the following badge to inform users of emacs-company-coq about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/emacs-company-coq'><img src='https://packages.guix.gnu.org/packages/emacs-company-coq/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/emacs-company-coq)
Example Org:
[[https://packages.guix.gnu.org/packages/emacs-company-coq][https://packages.guix.gnu.org/packages/emacs-company-coq/badges/latest-version.svg]]