OAI/Computability/PerfectCompleteness/Foundations/SignedTupleLayout.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. inductive OAI.PerfectCompleteness.SignedTupleLayout.Tape line 15
  2. abbrev OAI.PerfectCompleteness.SignedTupleLayout.State line 28
  3. def OAI.PerfectCompleteness.SignedTupleLayout.frame line 30
  4. def OAI.PerfectCompleteness.SignedTupleLayout.initialSource line 32
  5. def OAI.PerfectCompleteness.SignedTupleLayout.clean line 36
  6. def OAI.PerfectCompleteness.SignedTupleLayout.preparedSource line 39
  7. def OAI.PerfectCompleteness.SignedTupleLayout.preparedState line 47
  8. def OAI.PerfectCompleteness.SignedTupleLayout.sourceView line 51
  9. theorem OAI.PerfectCompleteness.SignedTupleLayout.sourceView_left line 55
  10. theorem OAI.PerfectCompleteness.SignedTupleLayout.sourceView_right line 58
  11. def OAI.PerfectCompleteness.SignedTupleLayout.metadata line 62
  12. theorem OAI.PerfectCompleteness.SignedTupleLayout.metadata_injective line 70
  13. def OAI.PerfectCompleteness.SignedTupleLayout.ids line 75
  14. def OAI.PerfectCompleteness.SignedTupleLayout.vars line 78
  15. structure OAI.PerfectCompleteness.SignedTupleLayout.Clear line 82
  16. structure OAI.PerfectCompleteness.SignedTupleLayout.Input line 89
  17. def OAI.PerfectCompleteness.SignedTupleLayout.digitTapes line 94
  18. def OAI.PerfectCompleteness.SignedTupleLayout.rawTapes line 99
  19. def OAI.PerfectCompleteness.SignedTupleLayout.preparedTapes line 105
  20. theorem OAI.PerfectCompleteness.SignedTupleLayout.prepared_metadata line 112