Docker CI #620
Annotations
1 warning
|
theories/shepherdson.v#L46
Reference addn_rec is deprecated since mathcomp 2.3.0.
|
The logs for this run have expired and are no longer available.
Loading