OAI/Probability/SATVariance/BystanderStops.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RandomKSAT.listSAT line 13
  2. lemma OAI.RandomKSAT.listSAT_nil line 16
  3. lemma OAI.RandomKSAT.listSAT_sublist line 19
  4. lemma OAI.RandomKSAT.listSAT_perm line 24
  5. def OAI.RandomKSAT.listStop line 30
  6. lemma OAI.RandomKSAT.listStop_le line 33
  7. lemma OAI.RandomKSAT.lt_listStop_iff line 36
  8. lemma OAI.RandomKSAT.listStop_pos line 52
  9. def OAI.RandomKSAT.Harmless line 56
  10. lemma OAI.RandomKSAT.harmless_private line 59
  11. lemma OAI.RandomKSAT.take_insertIdx_perm line 78
  12. lemma OAI.RandomKSAT.listSAT_insert_take line 108
  13. lemma OAI.RandomKSAT.listStop_insert line 117