add metatheoretical consequences #503
Annotations
3 warnings
|
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
|
The logs for this run have expired and are no longer available.
Loading