Remove lemma 6 from `keccak.md` - #1077

Draft

lucasmt wants to merge 3 commits into

remove-keccak-lemma-6

Commits on Sep 17, 2025

Remove lemma 6 from keccak.md
lucasmt
committed
8384d5b
Add test demonstrating issue with keccak.md lemma 6
lucasmt
committed
e4d7ab4

Commits on Sep 19, 2025

Update expected output
lucasmt
committed
bae71ee