rocq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Public GitHub Catalog
Discovered Sep 24, 2026
rocq-community / corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
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.
#1928229GitHub System ID
rocq-communityOrganization / User
PublicVisibility
ActiveCatalog Status
More from rocq-community
rocq-community/coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
rocq-community/dedekind-reals
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
rocq-community/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]