注册
登录
精益
huffman
返回
项目作者:
coq-community
项目描述 :
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
高级语言:
Coq
项目主页:
https://coq-community.org/huffman/
项目地址:
git://github.com/coq-community/huffman.git
创建时间:
2016-04-27T13:31:49Z
项目社区:
https://github.com/coq-community/huffman
开源协议:
Other
下载