Skip to content

feat: support BitVec.ofBool in bv_decide #5784

feat: support BitVec.ofBool in bv_decide

feat: support BitVec.ofBool in bv_decide #5784

check-lean-files

succeeded Oct 26, 2024 in 20s