ceramist
Verified hash-based AMQ structures in Coq
122 stars
7 watching
5 forks
Language: Coq
last commit: over 4 years ago
Linked from 2 awesome lists
amqbloom-filtercoqcoq-formalizationcounting-bloom-filterprobabilityquotient-filter