-
Notifications
You must be signed in to change notification settings - Fork 29
Insights: rocq-community/coq-dpdgraph
Overview
-
0 Active issues
-
- 0 Merged pull requests
- 1 Open pull request
- 0 Closed issues
- 0 New issues
There hasn’t been any commit activity on rocq-community/coq-dpdgraph in the last week.
Want to help out?
1 Pull request opened by 1 person
-
Adapt to coq/coq#20371 (Nametab.dirpath_of_module -> path_of_module)
#143 opened
Mar 20, 2025