fix for Coq v8.18 compatibility #139
Annotations
1 error
|
Run coq-community/docker-coq-action@v1:
DiscreteProb.v#L1507
The reference Arith_prebase.mult_O_le_stt was not found in the current
|
The logs for this run have expired and are no longer available.
Loading