feat: `toNat` and `toInt` theorems for `signExtend`#30

Closed

mhk119 wants to merge 1 commit intomasterfrom signExtend

+67

Commits on Nov 21, 2024

feat: BitVec.signExtend.{toNat, toInt}

mhk119
and
bollu
committed