OAI/Computability/PerfectCompleteness/Machines/PayloadCellsAlignment.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniqueGamesTheorem.Foundations.Complexity.CookLevin.PayloadCellsMachine.symbolSpec line 16
2. def OAI.UniqueGamesTheorem.Foundations.Complexity.CookLevin.PayloadCellsMachine.symbolTable line 24
3. def OAI.UniqueGamesTheorem.Foundations.Complexity.CookLevin.PayloadCellsMachine.payloadRowTokens line 28
4. theorem OAI.UniqueGamesTheorem.Foundations.Complexity.CookLevin.PayloadCellsMachine.symbolTokens_eq_initialCellTokens line 31
5. theorem OAI.UniqueGamesTheorem.Foundations.Complexity.CookLevin.PayloadCellsMachine.payloadRowTokens_eq line 50