OAI/Computability/UniqueGames/PCP/Clone100Encoding.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.UniqueGamesTheorem.Outer.Clone100Encoding.tripleWords line 16
  2. def OAI.UniqueGamesTheorem.Outer.Clone100Encoding.fixedTriples line 19
  3. theorem OAI.UniqueGamesTheorem.Outer.Clone100Encoding.fixedTriples_length line 21
  4. theorem OAI.UniqueGamesTheorem.Outer.Clone100Encoding.fixedTriples_properties line 24
  5. theorem OAI.UniqueGamesTheorem.Outer.Clone100Encoding.name_value line 33
  6. def OAI.UniqueGamesTheorem.Outer.Clone100Encoding.equationWords line 37
  7. theorem OAI.UniqueGamesTheorem.Outer.Clone100Encoding.equation_words line 41
  8. def OAI.UniqueGamesTheorem.Outer.Clone100Encoding.bodyWords line 46
  9. theorem OAI.UniqueGamesTheorem.Outer.Clone100Encoding.equations_words line 49
  10. def OAI.UniqueGamesTheorem.Outer.Clone100Encoding.inputWords line 58
  11. theorem OAI.UniqueGamesTheorem.Outer.Clone100Encoding.clonedInput_words line 61
  12. theorem OAI.UniqueGamesTheorem.Outer.Clone100Encoding.clonedInput_decodes line 65
  13. def OAI.UniqueGamesTheorem.Outer.Clone100Encoding.sizePolynomial line 70
  14. theorem OAI.UniqueGamesTheorem.Outer.Clone100Encoding.sizePolynomial_eval line 74
  15. theorem OAI.UniqueGamesTheorem.Outer.Clone100Encoding.clonedInput_bits_polynomial line 78