app-emacs/company-coq
A collection of extensions for Proof General's Coq mode
Screenshots
-
company-coq-1.0.1~amd64 ~x86
View 
Download 
Browse License: Overlay: melpa-stable
Runtime Dependencies
company-coq-20221130.536
app-emacs/dash
app-emacs/yasnippet
app-emacs/company
app-emacs/company-math
>=app-editors/emacs-23.1:*
app-emacs/yasnippet
app-emacs/company
app-emacs/company-math
>=app-editors/emacs-23.1:*
company-coq-1.0.1_p20220314
app-emacs/company-math
app-emacs/company-mode
app-emacs/dash
app-emacs/yasnippet
app-emacs/proofgeneral
>=app-editors/emacs-23.1:*
app-emacs/company-mode
app-emacs/dash
app-emacs/yasnippet
app-emacs/proofgeneral
>=app-editors/emacs-23.1:*
company-coq-1.0.1
app-emacs/company-math
app-emacs/company
app-emacs/yasnippet
app-emacs/dash
>=app-editors/emacs-23.1:*
app-emacs/company
app-emacs/yasnippet
app-emacs/dash
>=app-editors/emacs-23.1:*