OAI/Probability/MatroidProphet/Seed.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatroidProphet.sourceCoinProbability line 10
2. lemma OAI.MatroidProphet.sourceCoinProbability_nonneg line 13
3. lemma OAI.MatroidProphet.sourceCoinProbability_le_one line 17
4. def OAI.MatroidProphet.sourceSeedLaw line 21
5. instance OAI.MatroidProphet.sourceSeedLaw_probability line 24
6. lemma OAI.MatroidProphet.mainMasks_encodeMainSeed line 28
7. lemma OAI.MatroidProphet.fairTwoBits line 36
8. lemma OAI.MatroidProphet.integral_sourceSeedLaw line 46