make coq-htt package depend on coq-htt-core #56
Annotations
7 warnings
|
Run coq-community/docker-coq-action@v1:
examples/array.v#L15
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
Run coq-community/docker-coq-action@v1:
examples/quicksort.v#L15
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
Run coq-community/docker-coq-action@v1:
examples/bubblesort.v#L15
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
Run coq-community/docker-coq-action@v1:
examples/congmath.v#L16
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
Run coq-community/docker-coq-action@v1:
examples/hashtab.v#L16
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
|
Run coq-community/docker-coq-action@v1:
examples/union_find.v#L14
Notations "[ seq _ | _ in _ ]" defined at level 0 with arguments
|
|
Run coq-community/docker-coq-action@v1:
examples/congprog.v#L16
Notations "[ seq _ | _ <- _ ]" defined at level 0 with arguments
|
Loading