wilcoxjay/company-coq
Company-mode backend for Proof General's coq-mode
Public GitHub Catalog
Discovered Oct 2, 2026
wilcoxjay / coq-lit
Literate coq blog posts
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#24115769GitHub System ID
wilcoxjayOrganization / User
PublicVisibility
ActiveCatalog Status
More from wilcoxjay
wilcoxjay/necklace
Public repository.
wilcoxjay/CycloneCoqSemantics
Models of the Semantics of the Cyclone Language from Dan Grossman's thesis
wilcoxjay/sammygraphics
Public repository.