Skip to content

feat: add BitVec.toNat_[abs|sdiv|smod]#5491

Merged
hargoniX merged 10 commits intoleanprover:masterfrom opencompl:more_to_natSep 27, 2024

Commits

Commits on Sep 27, 2024