OAI/MathematicalPhysics/NavierStokes/BalancedTransport/Bridge.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.BalancedTransport.Recorder.Exec.split line 10
  2. lemma OAI.BalancedTransport.Recorder.Exec.take line 21
  3. lemma OAI.BalancedTransport.Recorder.Exec.one_iff line 27
  4. lemma OAI.BalancedTransport.Recorder.Exec.snoc line 34
  5. theorem OAI.BalancedTransport.Recorder.Checkpoint.arbitrarily_long_execution line 46
  6. lemma OAI.BalancedTransport.Recorder.Configuration.code_guard line 72
  7. def OAI.BalancedTransport.Recorder.GuardedTemplate line 80
  8. lemma OAI.BalancedTransport.Geometry.IsMaterialFlow.shift_unit line 99
  9. lemma OAI.BalancedTransport.Geometry.loadedRepeat_on_later_unit line 109
  10. lemma OAI.BalancedTransport.Geometry.materialFlow_loading line 118
  11. lemma OAI.BalancedTransport.Recorder.guarded_period_step line 146
  12. lemma OAI.BalancedTransport.Recorder.guarded_execution_endpoint line 178
  13. lemma OAI.BalancedTransport.Geometry.TimeCollars.repeats line 198
  14. theorem OAI.BalancedTransport.Recorder.loaded_template_halting_iff line 211
  15. theorem OAI.BalancedTransport.FiniteMachine.compiled_continuous_halting_iff line 264