feat: toNat
theorems for signExtend
#314
Job | Run time |
---|---|
2s | |
4m 30s | |
4m 32s |
toNat
theorems for signExtend
#314
Job | Run time |
---|---|
2s | |
4m 30s | |
4m 32s |