mattam82/company-coq
Company-mode backend for Proof General's coq-mode
Public GitHub Catalog
Discovered Sep 26, 2026
mattam82 / HoTT
Homotopy type theory
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.
#7325603GitHub System ID
mattam82Organization / User
PublicVisibility
ActiveCatalog Status
More from mattam82
mattam82/www
Sources files of the coq.inria.fr website (static part)
mattam82/repo-unstable
The repository for development packages.
mattam82/Coq-Developers-Manual
Additional documentation for the developers of Coq