Shadowgraph
TrendingAbout
Sign in

verse-lab/ceramist

Verified hash-based AMQ structures in Coq

Coq

126

228 commits

updated Apr 13, 2020

See the code
amq
bloom-filter
coq
coq-formalization
counting-bloom-filter
probability
quotient-filter

Contributors

kiranandcode

210 commits

ilyasergey

18 commits

Languages

Coq

99.9%

verse-lab/ceramist

Verified hash-based AMQ structures in Coq

Coq

126

228 commits

updated Apr 13, 2020

See the code
amq
bloom-filter
coq
coq-formalization
counting-bloom-filter
probability
quotient-filter

Contributors

kiranandcode

210 commits

ilyasergey

18 commits

Languages

Coq

99.9%