company-coq

cpitclaudel

A Coq IDE build on top of Proof General's Coq mode

emacs

View on GitHub

361 Stars

32 Forks

8 Watchers

Emacs Lisp Language

gpl-3.0 License

100 SrcLog Score

Cost to Build

$2.36M

Market Value

$6.87M

How is this calculated?

Growth over time

10 data points · 2021-08-01 → 2026-08-01

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about company-coq

Question copied to clipboard

What is the cpitclaudel/company-coq GitHub project? Description: "A Coq IDE build on top of Proof General's Coq mode". Written in Emacs Lisp. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone company-coq

Clone via HTTPS

git clone https://github.com/cpitclaudel/company-coq.git

Clone via SSH

[email protected]:cpitclaudel/company-coq.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the company-coq issue tracker:

Open GitHub Issues

Similar to company-coq

spacemacs dracula-theme awesome-emacs magit cider remacs projectile helm use-package know-your-http-well flycheck core Spacemacs-rocks smartparens slime merlin intero lsp-mode Indium irony-mode dumb-jump org-brain emacs-anywhere emacs-document tide sx.el emacs-slack emacs-which-key clj-refactor.el all-the-icons.el