_CoqProject

-Q Utils ProbHash.Utils
-Q Computation ProbHash.Computation
-R Structures ProbHash
-arg "-w -notation-overridden,-local-declaration,-redundant-canonical-projection,-projection-no-head-constant"




Computation/Comp.v
Computation/Notationv1.v
Structures/Core/AMQHash.v
Structures/Core/AMQ.v
Structures/Core/AMQReduction.v
Structures/BloomFilter/BloomFilter_Definitions.v
Structures/BloomFilter/BloomFilter_Probability.v
Structures/Core/FixedList.v
Structures/Core/FixedMap.v
Structures/Core/Hash.v
Structures/Core/HashVec.v
Structures/CountingBloomFilter/CountingBloomFilter_Definitions.v
Structures/CountingBloomFilter/CountingBloomFilter_Probability.v
Structures/QuotientFilter/QuotientFilter_Definitions.v
Structures/QuotientFilter/QuotientFilter_Probability.v
Structures/BlockedAMQ/BlockedAMQ.v
Utils/InvMisc.v
Utils/tactics.v
Utils/rsum_ext.v
Utils/seq_ext.v
Utils/seq_subset.v
Utils/stirling.v