OAI/Computability/VertexCover/Machines/TableCodeBound.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.Machine.listBits_length_le line 42
2. theorem OAI.VertexCover.Machine.TableMachine.size_le_code line 52
3. theorem OAI.VertexCover.Machine.TableMachine.rowLength_le line 57
4. theorem OAI.VertexCover.Machine.TableMachine.codeLength_le line 63
5. def OAI.VertexCover.Machine.TableMachine.lengthPolynomial line 74
6. theorem OAI.VertexCover.Machine.TableMachine.codeLength_le_eval line 75