Adding support for untyped conversion-checking #552
Annotations
6 warnings
|
Docker-Coq-Action:
theories/Validity/Introductions/Application.v#L41
Reference reflValidTm is deprecated. Unneeded
|
|
Docker-Coq-Action:
theories/Validity/Introductions/Application.v#L41
Reference reflValidTm is deprecated. Unneeded
|
|
Docker-Coq-Action:
theories/Validity/Introductions/Application.v#L41
Reference reflValidTm is deprecated. Unneeded
|
|
Docker-Coq-Action:
theories/Validity/Introductions/Nat.v#L108
Reference reflValidTm is deprecated. Unneeded
|
|
Docker-Coq-Action:
theories/Validity/Introductions/Nat.v#L108
Reference reflValidTm is deprecated. Unneeded
|
|
Docker-Coq-Action:
theories/Fundamental.v#L348
Reference reflValidTm is deprecated. Unneeded
|
Loading