save #485
Annotations
1 error and 7 warnings
|
Docker-Coq-Action:
theories/DirectedMorphisms.v#L190
The reference compute_action was not found in the current environment.
|
|
Docker-Coq-Action
Argument B was previously inferred to be in scope type_scope but is
|
|
Docker-Coq-Action
Argument B was previously inferred to be in scope type_scope but is
|
|
Docker-Coq-Action
Argument B was previously inferred to be in the empty scope stack
|
|
Docker-Coq-Action:
theories/DirectedDirections.v#L37
Unused variable d2 catches more than one case.
|
|
Docker-Coq-Action:
theories/DirectedDirectioning.v#L11
The only parsing modifier has no effect in Reserved Notation.
|
|
Docker-Coq-Action:
theories/DirectedDirectioning.v#L12
The only parsing modifier has no effect in Reserved Notation.
|
|
Docker-Coq-Action:
theories/DirectedDirectioning.v#L13
The only parsing modifier has no effect in Reserved Notation.
|
The logs for this run have expired and are no longer available.
Loading