Skip to content

feat: BitVec.toInt_shiftLeft theorem#6346

Open
mhk119 wants to merge 2 commits intoleanprover:masterfrom opencompl:toInt_shiftLeft
+7-2

Commits

Commits on Dec 9, 2024

Commits on Dec 16, 2024