feat: BitVec.toNat theorems for rotateLeft and rotateRight#6347
Merged
kim-em merged 6 commits intoleanprover:masterfrom opencompl:rotateJan 10, 2025
+21-1
Commits
Commits on Dec 9, 2024
- committed
- committed
Commits on Dec 16, 2024
- committed
Commits on Jan 9, 2025
- authored
