OAI/Combinatorics/IndependentSets/Machines/FinalCNFHeader.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerFrame line 12
  2. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerInputTapes line 24
  3. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerResultTapes line 27
  4. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerResultTapes_input line 32
  5. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerResultTapes_archive line 35
  6. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerResultTapes_accumulator line 38
  7. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerResultTapes_rowIndex line 42
  8. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerTimePolynomial line 45
  9. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerTimePolynomial_eval line 48
  10. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerInTime line 52
  11. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.tableRowsBits line 181
  12. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.tableBits_header_rows line 184
  13. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.tableHeaderInTime line 190
  14. theorem OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.headerInput_configuration line 201
  15. def OAI.IndependentSetsGames.Foundations.Complexity.FinalCNFMachine.Program.initializedTableHeaderInTime line 210