OAI/Probability/SATComputability/CandidateProcess.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.FixedClauseThreshold.Computability.candidateResidual line 12
  2. def OAI.FixedClauseThreshold.Computability.candidateAlive line 16
  3. def OAI.FixedClauseThreshold.Computability.candidateStep line 19
  4. theorem OAI.FixedClauseThreshold.Computability.candidateResidual_cons line 24
  5. theorem OAI.FixedClauseThreshold.Computability.candidateResidual_empty_iff line 31
  6. theorem OAI.FixedClauseThreshold.Computability.candidateStep_mono line 45
  7. theorem OAI.FixedClauseThreshold.Computability.candidateStep_add_const line 50
  8. theorem OAI.FixedClauseThreshold.Computability.candidateStep_comm line 56
  9. theorem OAI.FixedClauseThreshold.Computability.candidateStep_iterate line 71
  10. theorem OAI.FixedClauseThreshold.Computability.candidateKill_iterate line 89
  11. theorem OAI.FixedClauseThreshold.Computability.operator_iterate_add_const line 102
  12. theorem OAI.FixedClauseThreshold.Computability.operator_replacement line 110
  13. theorem OAI.FixedClauseThreshold.Computability.relaxed_sequential_replacement line 133