OAI/Computability/MinUncut/Machines/MachineTableIteration.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncutGames.Foundations.Complexity.MachineTableIteration.finalTable line 11
  2. def OAI.MinUncutGames.Foundations.Complexity.MachineTableIteration.counterCertificate line 14
  3. def OAI.MinUncutGames.Foundations.Complexity.MachineTableIteration.countedCertificate line 22
  4. def OAI.MinUncutGames.Foundations.Complexity.MachineTableIteration.computableInPolyTime line 59
  5. def OAI.MinUncutGames.Foundations.Complexity.MachineTableIteration.initialCertificate line 63
  6. def OAI.MinUncutGames.Foundations.Complexity.MachineTableIteration.tableCertificate line 69
  7. def OAI.MinUncutGames.Foundations.Complexity.MachineTableIteration.gapMapCertificate line 76
  8. theorem OAI.MinUncutGames.Foundations.Complexity.TableIterationFiniteAlphabet.initial line 88
  9. theorem OAI.MinUncutGames.Foundations.Complexity.TableIterationFiniteAlphabet.finalCNF line 93
  10. theorem OAI.MinUncutGames.Foundations.Complexity.TableIterationFiniteAlphabet.counter line 98
  11. theorem OAI.MinUncutGames.Foundations.Complexity.TableIterationFiniteAlphabet.counted line 110
  12. theorem OAI.MinUncutGames.Foundations.Complexity.TableIterationFiniteAlphabet.iteration line 113
  13. theorem OAI.MinUncutGames.Foundations.Complexity.TableIterationFiniteAlphabet.table line 117
  14. theorem OAI.MinUncutGames.Foundations.Complexity.TableIterationFiniteAlphabet.gapMap line 121