feat: prove that intMin
is indeed the smallest signed bitvector
#5452
Loading
intMin
is indeed the smallest signed bitvector
#5452