OAI/MathematicalPhysics/NavierStokes/Material/Decoding.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Alternating.Memory.selector_sum line 9
  2. theorem OAI.Alternating.Memory.Block.code_state_cylinder line 15
  3. def OAI.Alternating.Memory.readState line 31
  4. def OAI.Alternating.Memory.readRight line 34
  5. def OAI.Alternating.Memory.readLeft line 37
  6. theorem OAI.Alternating.Memory.readState_smooth line 41
  7. theorem OAI.Alternating.Memory.readRight_smooth line 45
  8. theorem OAI.Alternating.Memory.readLeft_smooth line 49
  9. def OAI.Alternating.Memory.haltingSelector line 54
  10. theorem OAI.Alternating.Memory.haltingSelector_smooth line 58
  11. theorem OAI.Alternating.Memory.haltingSelector_exact line 65
  12. def OAI.Alternating.Memory.localSignal line 70
  13. theorem OAI.Alternating.Memory.localSignal_smooth line 75
  14. theorem OAI.Alternating.Memory.localSignal_exact line 82