-
Notifications
You must be signed in to change notification settings - Fork 24
Insights: plclub/metalib
Overview
-
0 Active issues
-
- 4 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
4 Pull requests merged by 3 people
-
SetoidList has been moved to Sorting in Rocq 9.0.0
#34 merged
Mar 26, 2025 -
Support Rocq 9.0
#36 merged
Mar 26, 2025 -
ci: More Coq versions
#35 merged
Mar 25, 2025 -
avoid the use of argument-free
instantiate#33 merged
Mar 25, 2025