OAI/Computability/PerfectCompleteness/Reduction/SignedCompletionSchedule.lean

GitHub source file

29 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PerfectCompleteness.SignedCompletionSchedule.result line 22
  2. def OAI.PerfectCompleteness.SignedCompletionSchedule.active line 25
  3. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.active_positive line 28
  4. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.active_le line 31
  5. abbrev OAI.PerfectCompleteness.SignedCompletionSchedule.Completed line 34
  6. abbrev OAI.PerfectCompleteness.SignedCompletionSchedule.Descriptor line 37
  7. def OAI.PerfectCompleteness.SignedCompletionSchedule.descriptorTable line 39
  8. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.descriptorTable_eq_parsed line 42
  9. def OAI.PerfectCompleteness.SignedCompletionSchedule.seedLaw line 49
  10. def OAI.PerfectCompleteness.SignedCompletionSchedule.law line 57
  11. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.law_weight line 61
  12. def OAI.PerfectCompleteness.SignedCompletionSchedule.count line 69
  13. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.count_positive line 73
  14. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.count_total line 79
  15. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.count_ratio line 87
  16. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.count_mass line 101
  17. def OAI.PerfectCompleteness.SignedCompletionSchedule.schedule line 110
  18. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.schedule_length line 113
  19. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.schedule_nonempty line 118
  20. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.schedule_acceptance line 126
  21. def OAI.PerfectCompleteness.SignedCompletionSchedule.descriptorEnum line 140
  22. def OAI.PerfectCompleteness.SignedCompletionSchedule.descriptorBits line 143
  23. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.descriptorBits_length line 146
  24. def OAI.PerfectCompleteness.SignedCompletionSchedule.outputBits line 150
  25. def OAI.PerfectCompleteness.SignedCompletionSchedule.signsEnum line 154
  26. def OAI.PerfectCompleteness.SignedCompletionSchedule.inputBits line 157
  27. def OAI.PerfectCompleteness.SignedCompletionSchedule.computation line 160
  28. def OAI.PerfectCompleteness.SignedCompletionSchedule.machine_output line 166
  29. theorem OAI.PerfectCompleteness.SignedCompletionSchedule.workAlphabet_finite line 180