Skip to content

feat: add BitVec.[not_not, allOnes_shiftLeft_or_shiftLeft, allOnes_shiftLeft_and_shiftLeft]#5469

Merged
hargoniX merged 7 commits intoleanprover:masterfrom opencompl:shift-theoremsSep 25, 2024