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

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

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 #212

check-prelude

check-prelude
succeeded Oct 15, 2024 in 4s