OAI/Computability/VertexCover/Machines/SimpleLC.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.SimpleLC.Signature line 46
  2. def OAI.VertexCover.Machine.SimpleLC.sigCode line 47
  3. def OAI.VertexCover.Machine.SimpleLC.signature line 49
  4. def OAI.VertexCover.Machine.SimpleLC.relation line 51
  5. def OAI.VertexCover.Machine.SimpleLC.row line 57
  6. def OAI.VertexCover.Machine.SimpleLC.signaturePoly line 62
  7. def OAI.VertexCover.Machine.SimpleLC.relationPoly line 75
  8. def OAI.VertexCover.Machine.SimpleLC.rowPoly line 79
  9. abbrev OAI.VertexCover.Machine.SimpleLC.NEFormula line 92
  10. def OAI.VertexCover.Machine.SimpleLC.code line 93
  11. def OAI.VertexCover.Machine.SimpleLC.output line 94
  12. theorem OAI.VertexCover.Machine.SimpleLC.output_toLC line 104
  13. theorem OAI.VertexCover.Machine.SimpleLC.lit_clause line 106
  14. theorem OAI.VertexCover.Machine.SimpleLC.signature_clause line 110
  15. theorem OAI.VertexCover.Machine.SimpleLC.relation_clause line 118
  16. theorem OAI.VertexCover.Machine.SimpleLC.row_correct line 136
  17. def OAI.VertexCover.Machine.SimpleLC.outputPoly line 151