OAI/MathematicalPhysics/AlternatingFlow/LocalRules.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AlternatingNS.LocalRule.readC line 11
  2. def OAI.AlternatingNS.LocalRule.readB line 13
  3. def OAI.AlternatingNS.LocalRule.readA line 15
  4. def OAI.AlternatingNS.LocalRule.updateLeft line 19
  5. def OAI.AlternatingNS.LocalRule.updateRight line 25
  6. def OAI.AlternatingNS.LocalRule.branchNumerator line 32
  7. def OAI.AlternatingNS.LocalRule.branch line 36
  8. def OAI.AlternatingNS.LocalRule.write line 43
  9. def OAI.AlternatingNS.LocalRule.haltWeight line 50
  10. def OAI.AlternatingNS.LocalRule.signal line 54
  11. lemma OAI.AlternatingNS.LocalRule.readC_smooth line 59
  12. lemma OAI.AlternatingNS.LocalRule.readB_smooth line 63
  13. lemma OAI.AlternatingNS.LocalRule.readA_smooth line 67
  14. lemma OAI.AlternatingNS.LocalRule.branchNumerator_smooth line 71
  15. lemma OAI.AlternatingNS.LocalRule.branch_smooth line 77
  16. lemma OAI.AlternatingNS.LocalRule.write_smooth line 89
  17. lemma OAI.AlternatingNS.LocalRule.haltWeight_smooth line 100
  18. lemma OAI.AlternatingNS.LocalRule.signal_smooth line 108
  19. lemma OAI.AlternatingNS.LocalRule.readC_run line 111
  20. lemma OAI.AlternatingNS.LocalRule.readB_run line 115
  21. lemma OAI.AlternatingNS.LocalRule.readA_run line 119
  22. lemma OAI.AlternatingNS.LocalRule.branchNumerator_execute line 129
  23. lemma OAI.AlternatingNS.LocalRule.branch_on_configuration line 148
  24. lemma OAI.AlternatingNS.LocalRule.write_run line 167
  25. lemma OAI.AlternatingNS.LocalRule.haltWeight_run line 185
  26. lemma OAI.AlternatingNS.LocalRule.signal_run line 196