OAI/Computability/VertexCover/PCP/PoweringTables.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniqueGames.Foundations.PCP.PoweringTables.labelCount line 14
2. def OAI.UniqueGames.Foundations.PCP.PoweringTables.dartCount line 16
3. def OAI.UniqueGames.Foundations.PCP.PoweringTables.mathematicalGraph line 18
4. def OAI.UniqueGames.Foundations.PCP.PoweringTables.rowAccepts line 24
5. theorem OAI.UniqueGames.Foundations.PCP.PoweringTables.rowAccepts_eq line 33
6. def OAI.UniqueGames.Foundations.PCP.PoweringTables.table line 43
7. theorem OAI.UniqueGames.Foundations.PCP.PoweringTables.table_vertices line 48
8. theorem OAI.UniqueGames.Foundations.PCP.PoweringTables.table_darts line 51
9. theorem OAI.UniqueGames.Foundations.PCP.PoweringTables.semantics_table line 54
10. theorem OAI.UniqueGames.Foundations.PCP.PoweringTables.table_accepts line 60
11. theorem OAI.UniqueGames.Foundations.PCP.PoweringTables.table_reverse line 68
12. def OAI.UniqueGames.Foundations.PCP.PoweringTables.outputBits line 80
13. def OAI.UniqueGames.Foundations.PCP.PoweringTables.transform line 83