proofs.rs

Trait method

<httpdate::HttpDate as Display>::fmt

impl Display for HttpDate
pub fn fmt(self: &Self, f: &mut Formatter<'_>) -> fmt::Result

Documentation on docs.rs

Claims (1)

Claim #1 — Verification of <httpdate::HttpDate as Display>::fmt (with creusot 0.13.0)
<httpdate::HttpDate as Display>::fmt

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