OAI/Combinatorics/MatchingCount/Machines/PhysicalPost.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.MatchingFPRAS.PhysicalPost.Cfg line 12
2. abbrev OAI.MatchingFPRAS.PhysicalPost.Table line 16
3. def OAI.MatchingFPRAS.PhysicalPost.tick line 18
4. def OAI.MatchingFPRAS.PhysicalPost.execute line 27
5. lemma OAI.MatchingFPRAS.PhysicalPost.execute_add line 31
6. lemma OAI.MatchingFPRAS.PhysicalPost.execute_halted line 43
7. def OAI.MatchingFPRAS.PhysicalPost.experiment line 49
8. lemma OAI.MatchingFPRAS.PhysicalPost.experiment_cost line 53
9. lemma OAI.MatchingFPRAS.PhysicalPost.experiment_run line 59
10. theorem OAI.MatchingFPRAS.PhysicalPost.physical_law line 65
11. def OAI.MatchingFPRAS.PhysicalPost.enumeration line 72
12. lemma OAI.MatchingFPRAS.PhysicalPost.enumeration_default line 77
13. def OAI.MatchingFPRAS.PhysicalPost.machine line 81
14. def OAI.MatchingFPRAS.PhysicalPost.sealCfg line 86
15. lemma OAI.MatchingFPRAS.PhysicalPost.tick_seal line 89
16. lemma OAI.MatchingFPRAS.PhysicalPost.execute_list line 101
17. lemma OAI.MatchingFPRAS.PhysicalPost.foldl_seal line 129
18. lemma OAI.MatchingFPRAS.PhysicalPost.initial_seal line 135
19. theorem OAI.MatchingFPRAS.PhysicalPost.run_seal line 141