Verified hash-based AMQ structures in Coq
-
Updated
Apr 13, 2020 - Coq
Verified hash-based AMQ structures in Coq
Add a description, image, and links to the counting-bloom-filter topic page so that developers can more easily learn about it.
To associate your repository with the counting-bloom-filter topic, visit your repo's landing page and select "manage topics."