add missing nounfold for Qeq_bool in Sample.v (for coq/coq##19801) #602
Annotations
9 warnings
|
Run coq-community/docker-coq-action@v1
There is no option NativeCompute Timing.
|
|
Run coq-community/docker-coq-action@v1
There is no option NativeCompute Timing.
|
|
Run coq-community/docker-coq-action@v1
There is no option NativeCompute Timing.
|
|
Run coq-community/docker-coq-action@v1
There is no option NativeCompute Timing.
|
|
Run coq-community/docker-coq-action@v1
There is no option NativeCompute Timing.
|
|
Run coq-community/docker-coq-action@v1
There is no option NativeCompute Timing.
|
|
Run coq-community/docker-coq-action@v1
There is no option NativeCompute Timing.
|
|
Run coq-community/docker-coq-action@v1
There is no option NativeCompute Timing.
|
|
Run coq-community/docker-coq-action@v1
There is no option NativeCompute Timing.
|
Loading