An Implementation of Deflate in Coq.

Christoph-Simon Senjak, Martin Hofmann

Browse the full FM paper archive.