-
Notifications
You must be signed in to change notification settings - Fork 32
Insights: coq/ceps
Overview
-
0 Active issues
-
- 1 Merged pull request
- 1 Open pull request
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
1 Pull request merged by 1 person
-
Rocq long-term roadmap.
#92 merged
Oct 4, 2024
1 Pull request opened by 1 person
-
Roadmap: attenuate the marketing tone slightly
#93 opened
Oct 4, 2024
2 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
French name change
#82 commented on
Sep 30, 2024 • 0 new comments -
Unifying the syntax of Theorem, Definition, Fixpoint, etc.
#42 commented on
Sep 30, 2024 • 0 new comments