OAI/Combinatorics/MatchingCount/Machines/ProgramComposition.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.ProgramComposition.relabel line 11
2. def OAI.MatchingFPRAS.ProgramComposition.mapCfg line 18
3. lemma OAI.MatchingFPRAS.ProgramComposition.mapCfg_some line 20
4. lemma OAI.MatchingFPRAS.ProgramComposition.mapCfg_none line 22
5. lemma OAI.MatchingFPRAS.ProgramComposition.relabel_eval line 24
6. lemma OAI.MatchingFPRAS.ProgramComposition.relabel_cost line 34
7. lemma OAI.MatchingFPRAS.ProgramComposition.run_halted line 41
8. lemma OAI.MatchingFPRAS.ProgramComposition.run_relabel_to_halt line 47
9. def OAI.MatchingFPRAS.ProgramComposition.sequence line 75
10. lemma OAI.MatchingFPRAS.ProgramComposition.sequence_run line 80
11. lemma OAI.MatchingFPRAS.ProgramComposition.sequence_cost line 94