On: Bloom filters debunked: Dispelling 30 Years of bad math with Coq

[ImaCake]

As someone totally unaware of bloom filters, I appreciate the click bait title because it made me aware of them, and then almost immediately understand what they are thanks to the clear explanation and visuals :)