verified-deflate v0.1.0 — gzip, zlib, raw DEFLATE and BGZF compression with LZ77 parsers proved correct in Lean

Sign in to join the discussion — your thebay.events account works here.