Claim #1 — Verification of unindent::unindent (with creusot 0.13.0)unindent::unindentUnindentation of bytes and strings in an adapted implementation · v1 · 0 comments · MasWag