Skip to content

feat: add BitVec lemmas about msb and shiftConcat #14713

feat: add BitVec lemmas about msb and shiftConcat

feat: add BitVec lemmas about msb and shiftConcat #14713

check-pr-title

succeeded Jan 31, 2025 in 1s