Commit df2d2b0

committed

feat: bitvec <-> bytearray conversions + theory

1 parent e5ef2c2 commit df2d2b0Copy full SHA for df2d2b0

3 files changed

+277

-139

lines changed

src/Init/Data/BitVec
- Conversions.lean
tests/lean/run
- bitvec_bytearray.lean
- bitvec_container.lean

3 files changed

+277

-139

lines changed

Comments

(0)