OAI/Combinatorics/IndependentSets/Machines/FinalCNFComputation.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.emittedBytes_eq_formulaBits line 14
  2. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.rawBudget_le_phaseTime line 18
  3. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.computableInPolyTime line 24
  4. def OAI.IndependentSetsGames.Foundations.Complexity.MachineTableIteration.finalTable line 61
  5. def OAI.IndependentSetsGames.Foundations.Complexity.MachineTableIteration.counterCertificate line 64
  6. def OAI.IndependentSetsGames.Foundations.Complexity.MachineTableIteration.countedCertificate line 72
  7. def OAI.IndependentSetsGames.Foundations.Complexity.MachineTableIteration.computableInPolyTime line 109
  8. def OAI.IndependentSetsGames.Foundations.Complexity.MachineTableIteration.initialCertificate line 113
  9. def OAI.IndependentSetsGames.Foundations.Complexity.MachineTableIteration.tableCertificate line 119
  10. def OAI.IndependentSetsGames.Foundations.Complexity.MachineTableIteration.gapMapCertificate line 126