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.

Outputs: out
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 emacs-company-coq 1.0.1 as follows:

guix install emacs-company-coq@1.0.1

Or install the latest version:

guix install emacs-company-coq

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.