Skip to content
Check for modules that should use `prelude`

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

Sign in to view logs

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

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

Annotations

1 error

check-prelude

check-prelude
failed Oct 21, 2024 in 5s