mattam82/metacoq
Reflection library for Coq
Public GitHub Catalog
Discovered Oct 6, 2026
mattam82 / company-coq
Company-mode backend for Proof General's coq-mode
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.
#32517592GitHub System ID
mattam82Organization / User
PublicVisibility
ActiveCatalog Status
More from mattam82
mattam82/Russell
Public repository.
mattam82/coq-opam-archive
Archive for all Coq related OPAM packages organized in various repositories
mattam82/repo-coqs
The repository for Coq versions for developers.