Awesome Lists

company-coq

by cpitclaudel

Emacs Lisppushed over 3 years ago

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

AI summary

Coq IDE

An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software

stars
351
forks
28
watching
10
awesome list
1
View on GitHub

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/cpitclaudel/company-coq/links.svg)](https://awesome.facts.dev/awesome/cpitclaudel/company-coq)
HTML
<a href="https://awesome.facts.dev/awesome/cpitclaudel/company-coq"><img src="https://awesome.facts.dev/shield/cpitclaudel/company-coq/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/cpitclaudel/company-coq/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.