Skip to content

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

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

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

Annotations

1 error

check-prelude

failed Oct 21, 2024 in 6s