OAI/Combinatorics/KMedian/CookLevin/CookTable.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.MetricKMedian.PCP.Compiler.CookProgram.vars line 25
2. def OAI.MetricKMedian.PCP.Compiler.CookProgram.tests line 26
3. def OAI.MetricKMedian.PCP.Compiler.CookProgram.query line 27
4. def OAI.MetricKMedian.PCP.Compiler.CookProgram.accept line 28
5. def OAI.MetricKMedian.PCP.Compiler.CookProgram.table line 29
6. lemma OAI.MetricKMedian.PCP.Compiler.CookProgram.poly_vars line 31
7. lemma OAI.MetricKMedian.PCP.Compiler.CookProgram.poly_tests line 35
8. lemma OAI.MetricKMedian.PCP.Compiler.CookProgram.poly_query line 39
9. lemma OAI.MetricKMedian.PCP.Compiler.CookProgram.poly_table line 43
10. def OAI.MetricKMedian.PCP.Compiler.CookProgram.represents line 53
11. lemma OAI.MetricKMedian.PCP.Compiler.CookProgram.wellFormed line 61
12. lemma OAI.MetricKMedian.PCP.Compiler.CookProgram.correct line 62