lean4 icon indicating copy to clipboard operation
lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

feat: Constructions for splitting and merging vectors of bitvectors

Open javra opened this issue 8 months ago • 3 comments

This PR provides functions to merge and split vectors of bitvectors, taking up the abandoned #3727.

javra avatar Mar 31 '25 11:03 javra