Verified Probabilistic Specifications of Bloom Filters in Coq #1 Post by hb4ch » Fri, Apr 10, 2020, 9:19 AM UTC Verified Probabilistic Specifications of Bloom Filters in Coqtwitter.com