rocq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
Developer Profile
rocq-community
Discovered public repositories for rocq-community in the GitHub catalog.
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]
rocq-community/corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
rocq-community/math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]