feat: BitVec.signExtend.{toNat, toInt} #5097
Triggered via pull request
November 11, 2024 19:30
leanprover-community-bot
leanprover-community-bot
labeled
#6038
Status
Skipped
Total duration
3s
Artifacts
–