An implementation of Deflate in Coq · HackerPapers discussions

An implementation of Deflate in Coq · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1609.01220/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTAn implementation of Deflate in Coq — mentioned by forgotpwd16https://news.ycombinator.com/item?id=31328441urn:hackerpapers:mention:1609.01220:31328441Tue, 10 May 2022 15:42:00 GMT<p>Cannot answer your question but, since you mentioned it, there's a mathematical specification of deflate (see: https://arxiv.org/abs/1609.01220).</p><p><a href="https://hackerpaper.kaipfister.de/p/1609.01220/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO