Skip to content

feat: prove the JPEG bit writer, Huffman codes and scan decode for IMG-JPG-3 - #68

Merged
ngngardner merged 11 commits into
mainfrom
claude/skills-marketplace-setup-hlbfz7-wp12-jpeg-huffman
Sep 26, 2026
Merged

feat: prove the JPEG bit writer, Huffman codes and scan decode for IMG-JPG-3#68
ngngardner merged 11 commits into
mainfrom
claude/skills-marketplace-setup-hlbfz7-wp12-jpeg-huffman

fix: IMG-JPG-3 scan proof takes its alias-typed hypotheses without co…

2a00193
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar