OAI/Probability/SATComputability/MaskPermutations.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.FixedClauseThreshold.Computability.candidatePermutation line 16
  2. def OAI.FixedClauseThreshold.Computability.literalPermutation line 23
  3. def OAI.FixedClauseThreshold.Computability.renameMask line 26
  4. theorem OAI.FixedClauseThreshold.Computability.deletedVariables_permutation line 30
  5. theorem OAI.FixedClauseThreshold.Computability.deletionBudget_permutation line 47
  6. theorem OAI.FixedClauseThreshold.Computability.mem_freeDeletionBudgetMask_erase line 52
  7. theorem OAI.FixedClauseThreshold.Computability.freeDeletionBudget_permutation line 70
  8. theorem OAI.FixedClauseThreshold.Computability.maskLifetime_permutation line 78
  9. theorem OAI.FixedClauseThreshold.Computability.clauseMask_permutation_mem line 96
  10. def OAI.FixedClauseThreshold.Computability.clausePermutation line 105
  11. theorem OAI.FixedClauseThreshold.Computability.mem_clauseCounts line 112
  12. theorem OAI.FixedClauseThreshold.Computability.countsMask_permutation line 117