company-coq

Homepage: https://github.com/cpitclaudel/company-coq

Author: Clément Pit-Claudel

Updated: 2022-Mar-13

Summary

A collection of extensions for Proof General's Coq mode

Commentary

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

See https://github.com/cpitclaudel/company-coq/ for a detailed description,
including screenshots and documentation.  After installing, you may want to
use M-x company-coq-tutorial to open the tutorial.

Dependencies

• alert
• button
• cl-lib
• color
• company
• company-math
• coq
• coq-syntax
• dash
• diff-mode
• hideshow
• menu-bar
• notifications
• outline
• paren
• pg-user
• pg-vars
• proof-config
• proof-script
• proof-shell
• proof-site
• proof-syntax
• pulse
• shr
• smie
• yasnippet