OAI/Computability/MinUncut/Search/FiniteQueryFamily.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MinUncut.Outer.FamilyQuestion line 14
2. def OAI.MinUncut.Outer.FamilyAlphabet line 16
3. instance OAI.MinUncut.Outer.familyAlphabetFintype line 20
4. def OAI.MinUncut.Outer.familyBase line 23
5. abbrev OAI.MinUncut.Outer.FamilyVariable line 27
6. def OAI.MinUncut.Outer.variableProof line 29
7. def OAI.MinUncut.Outer.ProofFamily.queryAnswer line 33
8. lemma OAI.MinUncut.Outer.ProofFamily.queryAnswer_folded line 38
9. def OAI.MinUncut.Outer.ProofFamily.assignment line 44
10. lemma OAI.MinUncut.Outer.ProofFamily.answer_assignment line 47
11. lemma OAI.MinUncut.Outer.foldedProof_ext line 51
12. lemma OAI.MinUncut.Outer.proofFamily_ext line 57
13. lemma OAI.MinUncut.Outer.ProofFamily.variableProof_assignment line 65
14. lemma OAI.MinUncut.Outer.variableProof_queryAnswer line 74