coq-dpdgraph

Public

Build dependency graphs between COQ objects

GNU Lesser General Public License v2.1

Updated Sep 28, 2021

Created Feb 4, 2017

0 stars

0 forks

1 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

42 commits

35 commits

9 commits

9 commits

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)407

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 2

Open Issues2

Activity Peak

Most recent day with highest activityFeb 3, 2026 • 4 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

No stars/forks history data available

GitHub Analytics