-
Notifications
You must be signed in to change notification settings - Fork 92
Insights: MetaRocq/metarocq
Overview
-
0 Active issues
-
- 2 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues
There hasn’t been any commit activity on MetaRocq/metarocq in the last week.
Want to help out?
2 Pull requests merged by 1 person
-
Adapt to rocq-prover/rocq#20839 (classifier sees ~atts)
#1191 merged
Jul 2, 2025 -
adapt to rocq-prover/rocq#20707
#1190 merged
Jun 27, 2025