proofs.rs

Recorded callable

unindent::unindent_bytes

Named in an author’s verification record. Signature and safety are not independently recorded.

Claims (1)

Claim #2 — Verification of unindent::unindent_bytes (with creusot 0.13.0)
unindent::unindent_bytes

Unindentation of bytes and strings in an adapted implementation · v1 · 0 comments · MasWag