feat: BitVec.toNat theorems for rotateLeft and rotateRight#6347
Open
mhk119 wants to merge 3 commits intoleanprover:masterfrom opencompl:rotate
+21-1
Commits
Commits on Dec 9, 2024
- committed
- committed
Commits on Dec 16, 2024
- committed