experiment with HITs and rewritng rules #2887
Annotations
2 errors
|
theories/PropResizing/Nat.v#L152
Universe instance length is 6 but should be 14.
|
|
theories/Interval2.v#L58
The reference eflexivity was not found in the current environment.
|
The logs for this run have expired and are no longer available.
Loading