feat: fix BitVec.abs, prove toInt produces the expected value#26

Closed

bollu wants to merge 14 commits intomasterfrom lean4-toint-abs

+1,105-462

Commits on Oct 20, 2024

fix: have Lake not create core aliases into Lake namespace (leanprover#5688 )
kmill
authored
feat: bv_decide introduces uninterpreted symbols everywhere (leanprover#5781 )

hargoniX
and
tobiasgrosser
authored

Commits on Oct 23, 2024