proofs.rs

Function

httpdate::fmt_http_date

pub fn fmt_http_date(d: std::time::SystemTime) -> String

Documentation on docs.rs

Claims (1)

Claim #3 — Verification of httpdate::fmt_http_date (with creusot 0.13.0)
httpdate::fmt_http_date

httpdate 1.0.3: correct HTTP-date parsing and bounded formatting · v2 · 0 comments · keiichiw