feat: toNat
and toInt
theorems for signExtend
#352
Job | Run time |
---|---|
3s | |
33s | |
36s |
toNat
and toInt
theorems for signExtend
#352
Job | Run time |
---|---|
3s | |
33s | |
36s |