OAI/MathematicalPhysics/NavierStokes/BalancedTransport/FiniteSimulator.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BalancedTransport.Universal.finiteIndex line 11
  2. def OAI.BalancedTransport.Universal.finiteUnindex line 13
  3. lemma OAI.BalancedTransport.Universal.finiteUnindex_index line 16
  4. lemma OAI.BalancedTransport.Universal.finiteIndex_injective line 19
  5. def OAI.BalancedTransport.Universal.stateIndex line 32
  6. lemma OAI.BalancedTransport.Universal.stateIndex_decode line 36
  7. def OAI.BalancedTransport.Universal.postInstruction line 40
  8. abbrev OAI.BalancedTransport.Universal.finitePostMachine line 46
  9. lemma OAI.BalancedTransport.Universal.finitePostMachine_instruction line 54
  10. def OAI.BalancedTransport.Universal.PostRel line 59
  11. lemma OAI.BalancedTransport.Universal.post_initial_rel line 63
  12. lemma OAI.BalancedTransport.Universal.post_tape_head line 82
  13. lemma OAI.BalancedTransport.Universal.post_step line 86
  14. lemma OAI.BalancedTransport.Universal.post_respects line 140
  15. lemma OAI.BalancedTransport.Universal.halts_finitePostMachine line 151