https://isa-afp.org/authors/leong/ AFP entries of Wei De Leong https://isa-afp.org/entries/Tabulation_Hashing.html Mon, 08 Jun 2026 00:00:00 +0000 Formalization of 3-independence of simple tabulation hashing in the AFP Computer science/Algorithms/Randomized