☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (10)
huffman
0.1.0
Huffman coding in Lean 4 with a formal optimality proof and Unix pack/unpack (.z) compatibility.
#huffman
#compression
#pack
#formal-verification
Displaying
1-1
of
1
versions of
huffman
Sort by
Date
0.1
Version track: 0.1
0.1.0
4 days ago
Released on June 13, 2026 at 11:14:36AM
Commit 5dc175f builds on its old leanprover/lean4:v4.29.0
v4.29.0
7.5 MB
Build archive size: 7510930 bytes.
1
20