OAI/Probability/SATComputability/ClauseClasses.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.FixedClauseThreshold.Computability.Triple line 9
  2. abbrev OAI.FixedClauseThreshold.Computability.TripleClasses line 10
  3. def OAI.FixedClauseThreshold.Computability.splitTriple line 13
  4. def OAI.FixedClauseThreshold.Computability.joinTriple line 23
  5. def OAI.FixedClauseThreshold.Computability.tripleClassesEquiv line 35
  6. def OAI.FixedClauseThreshold.Computability.literalSplitEquiv line 48
  7. def OAI.FixedClauseThreshold.Computability.tripleVectorEquiv line 60
  8. def OAI.FixedClauseThreshold.Computability.clauseClassesEquiv line 66
  9. theorem OAI.FixedClauseThreshold.Computability.clauseClasses_base_card line 70
  10. theorem OAI.FixedClauseThreshold.Computability.clauseClasses_single_card line 75
  11. theorem OAI.FixedClauseThreshold.Computability.clauseClasses_double_card line 80