Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
Primary LanguageCoqOtherNOASSERTION