OAI/Probability/SATComputability/EffectiveTrialValues.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.FixedClauseThreshold.Computability.TrialData line 13
  2. def OAI.FixedClauseThreshold.Computability.guardedSiteExpression line 15
  3. theorem OAI.FixedClauseThreshold.Computability.guardedSiteExpression_computable line 21
  4. def OAI.FixedClauseThreshold.Computability.guardedSiteValue line 31
  5. theorem OAI.FixedClauseThreshold.Computability.guardedSiteValue_effective line 34
  6. theorem OAI.FixedClauseThreshold.Computability.guardedSiteValue_bound line 37
  7. def OAI.FixedClauseThreshold.Computability.trialRate line 49
  8. theorem OAI.FixedClauseThreshold.Computability.trialRate_computable line 51
  9. theorem OAI.FixedClauseThreshold.Computability.trialRate_nonneg line 55
  10. def OAI.FixedClauseThreshold.Computability.trialDensityNN line 59
  11. def OAI.FixedClauseThreshold.Computability.trialValue line 62
  12. theorem OAI.FixedClauseThreshold.Computability.siteExpectation_effective line 69
  13. theorem OAI.FixedClauseThreshold.Computability.edgePacket_effective line 83
  14. theorem OAI.FixedClauseThreshold.Computability.trialValue_effective line 89
  15. theorem OAI.FixedClauseThreshold.Computability.trialValue_eq_functional line 98