OAI/Computability/VertexCover/Machines/AlphabetCorrect.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.Machine.AlphabetMachine.old_valid line 45
2. theorem OAI.VertexCover.Machine.AlphabetMachine.head_valid line 47
3. theorem OAI.VertexCover.Machine.AlphabetMachine.local_source line 54
4. def OAI.VertexCover.Machine.AlphabetMachine.row line 83
5. def OAI.VertexCover.Machine.AlphabetMachine.rowPoly line 86
6. theorem OAI.VertexCover.Machine.AlphabetMachine.row_source line 96