Merge pull request #68 from coq-community/no-stdlib #988
Annotations
10 warnings
|
Run coq-community/docker-coq-action@v1
has_floor_max is declared opaque (Qed) but this is not fully
|
|
Run coq-community/docker-coq-action@v1
Rle_refl is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Rle_trans is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Rsup_ub is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Rsup_total is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Radd_mono is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Rmul_mono is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
Radd0 is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
RaddC is declared opaque (Qed) but this is not fully respected
|
|
Run coq-community/docker-coq-action@v1
RaddA is declared opaque (Qed) but this is not fully respected
|
Loading