feat: toNat and toInt theorems for signExtend
#13
Annotations
2 errors
|
Check PR body
feat/fix PR must have a `changelog-*` label
|
|
Check PR body
feat/fix PR must have changelog summary starting with "This PR ..." as first line.
|
Loading