OAI/Combinatorics/MatchingCount/Machines/BoolPostCompiler.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.BoolPostCompiler.up line 10
2. def OAI.MatchingFPRAS.BoolPostCompiler.down line 11
3. lemma OAI.MatchingFPRAS.BoolPostCompiler.down_up line 12
4. def OAI.MatchingFPRAS.BoolPostCompiler.lift line 15
5. lemma OAI.MatchingFPRAS.BoolPostCompiler.lift_supported line 17
6. lemma OAI.MatchingFPRAS.BoolPostCompiler.step_map line 26
7. lemma OAI.MatchingFPRAS.BoolPostCompiler.advance_map line 31
8. lemma OAI.MatchingFPRAS.BoolPostCompiler.run_map line 38
9. lemma OAI.MatchingFPRAS.BoolPostCompiler.init_map line 45
10. def OAI.MatchingFPRAS.BoolPostCompiler.compiled line 48
11. theorem OAI.MatchingFPRAS.BoolPostCompiler.compiled_words line 51