A correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
