Skip to content

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

feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg

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

check-lean-files

succeeded Oct 19, 2024 in 15s