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

Bloom filters debunked: Dispelling 30 Years of bad math with Coq https://gopiandcode.uk/logs/log-bloomfilters-debunked.html