OAI/Computability/MinUncut/Graphs/CompleteGraphProgram.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MinUncut.Costed.SourceWords.graphStageWords line 18
2. def OAI.MinUncut.Costed.SourceWords.graphStageProgram line 23
3. def OAI.MinUncut.Costed.SourceWords.completeGraphWords line 28
4. def OAI.MinUncut.Costed.SourceWords.completeGraphProgram line 31
5. lemma OAI.MinUncut.Costed.SourceWords.graphStageWords_spec line 34
6. lemma OAI.MinUncut.Costed.SourceWords.completeGraphWords_spec line 44
7. abbrev OAI.MinUncut.Preprocess.chosenM line 62
8. abbrev OAI.MinUncut.Preprocess.chosenN line 63
9. abbrev OAI.MinUncut.Preprocess.chosenT line 64
10. abbrev OAI.MinUncut.Preprocess.chosenL line 65
11. lemma OAI.MinUncut.Preprocess.c_chosenM line 66
12. lemma OAI.MinUncut.Preprocess.c_chosenN line 67
13. lemma OAI.MinUncut.Preprocess.c_chosenT line 68
14. lemma OAI.MinUncut.Preprocess.c_chosenL line 69
15. lemma OAI.MinUncut.Preprocess.chosenN_pos line 70
16. lemma OAI.MinUncut.Preprocess.out_chosenBudgets line 74
17. lemma OAI.MinUncut.Preprocess.c_chosenAccuracy line 88
18. lemma OAI.MinUncut.Preprocess.c_chosenGrid line 92
19. lemma OAI.MinUncut.Preprocess.c_chosenRate line 102
20. lemma OAI.MinUncut.Preprocess.c_fixedSetCard line 104
21. lemma OAI.MinUncut.Preprocess.c_chosenDenominator line 113
22. def OAI.MinUncut.Preprocess.chosenEnumeration line 119
23. lemma OAI.MinUncut.Preprocess.c_chosenExpressions line 121
24. lemma OAI.MinUncut.Preprocess.c_completeGraphCode line 129