OAI/Combinatorics/IndependentSets/PCP/Setup.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.Alphabet line 17
2. abbrev OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.Ports line 19
3. inductive OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.Label line 21
4. instance OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.(instance at line 26) line 26
5. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.statement line 31
6. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.resultTapes line 50
7. theorem OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.resultTapes_other line 59
8. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.setupInTime line 65
9. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.tableSetupInTime line 155
10. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.program line 182
11. def OAI.IndependentSetsGames.Foundations.PCP.AlphabetTable.Setup.machine line 185