Skip to content

feat(WordRAM/Hashing): add self-contained k-wise independent and tabulation hashing programs - #1686

Merged
SamuelSchlesinger merged 5 commits into
cslib-community:mainfrom
orbitingflea:wordram-kwise-hashing-code
Oct 30, 2026
Merged

SamuelSchlesinger merged 5 commits into
cslib-community:mainfrom
orbitingflea:wordram-kwise-hashing-code

chore(WordRAM/Hashing): update Nat.strong_induction_on case labels fo…

3144fad
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 30, 2026 in 4s