Protobuf wire format: varints, tags and the four wire types, with proofs - #2

Protobuf wire format: varints, tags and the four wire types, with proofs#2

ahrazzle merged 4 commits into

mainProven-Commons/protobuf:mainfrom

claude/wire-format-first-sliceProven-Commons/protobuf:claude/wire-format-first-sliceCopy head branch name to clipboard