Docker CI #20
Annotations
3 warnings
|
Run coq-community/docker-coq-action@v1:
theories/FrontEnd.v#L106
Setting cakeml_extraction output directory by default to
|
|
Run coq-community/docker-coq-action@v1:
theories/FrontEnd.v#L106
The following axioms must be realized in the extracted
|
|
Run coq-community/docker-coq-action@v1:
theories/FrontEnd.v#L106
The cakeml_extraction is currently set to bypass opacity, the
|
Loading