mattam82/metacoq
Reflection library for Coq
Public GitHub Catalog
Discovered Sep 29, 2026
mattam82 / Coq-unif
Formalization of unification in Coq
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.
#13957209GitHub 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.