OAI/Probability/SATComputability/IncidentMasks.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.FixedClauseThreshold.Computability.finiteMap line 10
  2. theorem OAI.FixedClauseThreshold.Computability.finiteMap_expect line 18
  3. def OAI.FixedClauseThreshold.Computability.unionMaskLaw line 27
  4. theorem OAI.FixedClauseThreshold.Computability.unionMaskLaw_killing line 31
  5. def OAI.FixedClauseThreshold.Computability.catastropheLaw line 44
  6. theorem OAI.FixedClauseThreshold.Computability.catastropheLaw_bound line 48
  7. def OAI.FixedClauseThreshold.Computability.incidentSignLaw line 64
  8. theorem OAI.FixedClauseThreshold.Computability.incidentSignLaw_killing line 69
  9. def OAI.FixedClauseThreshold.Computability.dominatingIncidentLaw line 89
  10. theorem OAI.FixedClauseThreshold.Computability.dominatingIncidentLaw_killing line 92
  11. theorem OAI.FixedClauseThreshold.Computability.dominatingIncidentLaw_delay line 104