OAI/Probability/SATComputability/RootEnergy.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.FixedClauseThreshold.Computability.RelaxedClause line 11
  2. def OAI.FixedClauseThreshold.Computability.clauseMinimum line 13
  3. theorem OAI.FixedClauseThreshold.Computability.relaxedViolations_eq_sum line 16
  4. theorem OAI.FixedClauseThreshold.Computability.clauseMinimum_le_length line 22
  5. theorem OAI.FixedClauseThreshold.Computability.clauseMinimum_le_add_one line 27
  6. theorem OAI.FixedClauseThreshold.Computability.clauseMinimum_update_bound line 48
  7. theorem OAI.FixedClauseThreshold.Computability.clauseMinimum_cons_bounds line 63
  8. def OAI.FixedClauseThreshold.Computability.rootMinimum line 87
  9. theorem OAI.FixedClauseThreshold.Computability.rootMinimum_bound line 90
  10. theorem OAI.FixedClauseThreshold.Computability.rootMinimum_replace line 95
  11. theorem OAI.FixedClauseThreshold.Computability.rootMinimum_cons line 101
  12. theorem OAI.FixedClauseThreshold.Computability.rootMinimum_variance line 112
  13. def OAI.FixedClauseThreshold.Computability.rootSatisfiableProbability line 123
  14. theorem OAI.FixedClauseThreshold.Computability.rootMinimum_mean_sq line 127