OAI/Combinatorics/MatchingCount/Machines/FiniteStore.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MatchingFPRAS.FiniteStore.stmt line 11
2. def OAI.MatchingFPRAS.FiniteStore.cfg line 25
3. theorem OAI.MatchingFPRAS.FiniteStore.stmt_eval line 29
4. def OAI.MatchingFPRAS.FiniteStore.program line 51
5. lemma OAI.MatchingFPRAS.FiniteStore.advance_cfg line 53
6. lemma OAI.MatchingFPRAS.FiniteStore.run_cfg line 60
7. def OAI.MatchingFPRAS.FiniteStore.procedure line 67
8. theorem OAI.MatchingFPRAS.FiniteStore.exec line 74