Claim #1 — Verification of base16ct::encoded_len (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)base16ct::encoded_lenBase16 length calculations and formatting-error conversion · v3 · 0 comments · nyuichi