53 ms·
The actual Coq code is here: https://github.com/certichain/ceramist/blob/fd5e522f2c381f7dbd5b8e38b48041dfd4bd261a/Structures/BloomFilter/BloomFilter_Probabilit
by ur-whale 6y ago
The actual Coq code is here:
https://github.com/certichain/ceramist/blob/fd5e522f2c381f7dbd5b8e38b48041dfd4bd261a/Structures/BloomFilter/BloomFilter_Probability.v#L1187 https://github.com/certichain/ceramist/blob/fd5e522f2c381f7d...