OAI/Computability/VertexCover/Machines/FinalCNFBase.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VertexCover.Machine.FinalCNFMachine.eraseLiteral line 46
  2. def OAI.VertexCover.Machine.FinalCNFMachine.eraseClause line 47
  3. def OAI.VertexCover.Machine.FinalCNFMachine.splitData line 49
  4. theorem OAI.VertexCover.Machine.FinalCNFMachine.erase_split line 53
  5. theorem OAI.VertexCover.Machine.FinalCNFMachine.erase_block line 77
  6. theorem OAI.VertexCover.Machine.FinalCNFMachine.oldIndex_value line 101
  7. theorem OAI.VertexCover.Machine.FinalCNFMachine.erase_event line 104
  8. abbrev OAI.VertexCover.Machine.FinalCNFMachine.Shapes line 116
  9. def OAI.VertexCover.Machine.FinalCNFMachine.localVerifier line 117
  10. def OAI.VertexCover.Machine.FinalCNFMachine.skeleton line 122
  11. def OAI.VertexCover.Machine.FinalCNFMachine.queryName line 125
  12. def OAI.VertexCover.Machine.FinalCNFMachine.rename line 131
  13. def OAI.VertexCover.Machine.FinalCNFMachine.renameLiteral line 134
  14. def OAI.VertexCover.Machine.FinalCNFMachine.renameClause line 136
  15. theorem OAI.VertexCover.Machine.FinalCNFMachine.rename_erase line 138
  16. def OAI.VertexCover.Machine.FinalCNFMachine.eventData line 141
  17. def OAI.VertexCover.Machine.FinalCNFMachine.output line 143
  18. theorem OAI.VertexCover.Machine.FinalCNFMachine.queryName_correct line 146