Fixed a few comments in the demo. #20
Annotations
2 errors and 7 warnings
|
|
|
Run coq-community/docker-coq-action@v1
The operation was canceled.
|
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsNaming.v#L5
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsNaming.v#L5
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsNaming.v#L5
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsNaming.v#L17
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsTest.v#L5
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsTest.v#L5
Loading Stdlib without prefix is deprecated.
|
|
Run coq-community/docker-coq-action@v1:
LibHyps/LibHypsTest.v#L5
Loading Stdlib without prefix is deprecated.
|
Loading