feat: expand byte array api - #8165

feat: expand byte array api#8165

Rob23oba wants to merge 20 commits into

leanprover:masterleanprover/lean4:masterfrom

Rob23oba:byte-array-additionsRob23oba/lean4:byte-array-additionsCopy head branch name to clipboard