mattam82/company-coq
Company-mode backend for Proof General's coq-mode
Public GitHub Catalog
Discovered Oct 6, 2026
mattam82 / www
Sources files of the coq.inria.fr website (static part)
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#31664976GitHub System ID
mattam82Organization / User
PublicVisibility
ActiveCatalog Status
More from mattam82
mattam82/repo-unstable
The repository for development packages.
mattam82/Coq-Developers-Manual
Additional documentation for the developers of Coq
mattam82/opam-coq-repo
Public repository.