First changes to GenericTyping for locally irr types. #473
Annotations
1 error and 10 warnings
|
Docker-Coq-Action:
theories/GenericTyping.v#L815
(in proof redtywf_trans): Attempt to save an incomplete proof
|
|
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/AutoSubst/Ast.v#L1276
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1278
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1280
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1282
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1284
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1286
The default value for instance locality is currently "local" in a
|
|
Docker-Coq-Action:
theories/AutoSubst/Ast.v#L1335
The default value for instance locality is currently "local" in a
|
The logs for this run have expired and are no longer available.
Loading