OAI/Probability/SATComputability/RelaxedCandidates.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.FixedClauseThreshold.Computability.DeletionCandidate line 10
2. abbrev OAI.FixedClauseThreshold.Computability.SignedLiteral line 11
3. def OAI.FixedClauseThreshold.Computability.literalFalse line 13
4. def OAI.FixedClauseThreshold.Computability.frozenLiteral line 16
5. def OAI.FixedClauseThreshold.Computability.frozenFraction line 19
6. theorem OAI.FixedClauseThreshold.Computability.uniform_prod_expect line 24
7. theorem OAI.FixedClauseThreshold.Computability.frozenFraction_nonneg line 37
8. theorem OAI.FixedClauseThreshold.Computability.frozenFraction_le_half line 43
9. def OAI.FixedClauseThreshold.Computability.oneTestKill line 70
10. theorem OAI.FixedClauseThreshold.Computability.oneTestKill_eq line 75