/huffman

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

Primary LanguageCoqOtherNOASSERTION

Stargazers

No one’s star this repository yet.