First properties of reducibility (induction, escape, reflexivity) #346
Annotations
1 error and 3 warnings
|
theories/Decidability/Functions.v#L80
Non exhaustive pattern-matching: no clause found for pattern tW _ _
|
|
|
|
|
|
|
The logs for this run have expired and are no longer available.
Loading