Actually give access to the Proper type.eqv hyp
#88
| Job | Run time |
|---|---|
| 9m 55s | |
| 8m 44s | |
| 9m 0s | |
| 1s | |
| 27m 40s |
Proper type.eqv hyp
#88
| Job | Run time |
|---|---|
| 9m 55s | |
| 8m 44s | |
| 9m 0s | |
| 1s | |
| 27m 40s |