Elimination principles for GroupCoeq #2184
Merged
Annotations
3 warnings
Build HoTT:
test/Tactics/napply.v#L16
Could not enable unknown warning
|
Build HoTT:
theories/Basics/Settings.v#L12
"coq-core" has been renamed to "rocq-runtime".
|
Build HoTT:
theories/Basics/Settings.v#L10
"coq-core" has been renamed to "rocq-runtime".
|
Loading