OAI/Computability/PerfectCompleteness/Machines/ExactTargetOnlineEncoding.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PerfectCompleteness.ExactTargetOnlineEncoding.encodeWords_flatMap line 15
  2. def OAI.PerfectCompleteness.ExactTargetOnlineEncoding.leftKeys line 35
  3. def OAI.PerfectCompleteness.ExactTargetOnlineEncoding.rightKeys line 37
  4. theorem OAI.PerfectCompleteness.ExactTargetOnlineEncoding.left_online line 39
  5. theorem OAI.PerfectCompleteness.ExactTargetOnlineEncoding.right_online line 48
  6. def OAI.PerfectCompleteness.ExactTargetOnlineEncoding.onlineWords line 57
  7. theorem OAI.PerfectCompleteness.ExactTargetOnlineEncoding.onlineWords_eq line 65
  8. theorem OAI.PerfectCompleteness.ExactTargetOnlineEncoding.reverse_edge_fields line 73
  9. theorem OAI.PerfectCompleteness.ExactTargetOnlineEncoding.target_gameBits line 80