Skip to content

feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg #5597

feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg

feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg #5597

check-lean-files

succeeded Oct 19, 2024 in 14s