OAI/Computability/UniqueGames/PCP/SourceHeaderAccumulate.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.Layout line 15
  2. def OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.statement line 25
  3. def OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.resultTapes line 30
  4. theorem OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.result_bits line 34
  5. theorem OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.result_count line 38
  6. theorem OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.result_accumulator line 42
  7. theorem OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.result_frame line 47
  8. theorem OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.trace line 52
  9. def OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.inTime line 98
  10. theorem OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.inTime_steps line 112
  11. def OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.machine line 121
  12. theorem OAI.UniqueGamesTheorem.Foundations.Hastad.SourceHeaderAccumulate.source_inputBits_header line 132