Skip to content

feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq #93

feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq

feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq #93

check-lean-files

succeeded Aug 12, 2024 in 34s