ekarayel/frequency_moments

Formal verification of randomized streaming algorithms for frequency moments.

TeX