feat: toNat
theorems for signExtend
#622
Job | Run time |
---|---|
5s | |
15m 48s | |
6m 44s | |
2s | |
0s | |
0s | |
22m 39s |
toNat
theorems for signExtend
#622
Job | Run time |
---|---|
5s | |
15m 48s | |
6m 44s | |
2s | |
0s | |
0s | |
22m 39s |