coq-community / huffman

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

https://coq-community.org/huffman/

coq-community/huffman Stargazers

Arthur Correnson
acorrenson
Anton Trunov
anton-trunov
渋沢栄一津田梅子北里柴三郎
diohabara
Elman Repin
elmanelman
ghuysmans
Nikita
nikitavoloboev
Pomin Wu
pm5
Rᴀʜᴜʟ
rahulfromearth
Robert Peterson
rawburt
Salvador Guzman
sguzman
Sora Morimoto
smorimoto
soraros
Antonin Delpeuch
wetneb
Yvan Sraka
yvan-sraka

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.