Verified Probabilistic Specifications of Bloom Filters in Coq(twitter.com)
twitter.com
Verified Probabilistic Specifications of Bloom Filters in Coq
https://twitter.com/ilyasergey/status/1247137062886600705
0 comments
—
https://twitter.com/ilyasergey/status/1247137062886600705
—