OAI/Computability/VertexCover/Machines/Overlay.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.VertexCover.Machine.OverlayMachine.Input line 45
  2. def OAI.VertexCover.Machine.OverlayMachine.base line 46
  3. def OAI.VertexCover.Machine.OverlayMachine.rows line 47
  4. def OAI.VertexCover.Machine.OverlayMachine.code line 48
  5. def OAI.VertexCover.Machine.OverlayMachine.output line 49
  6. def OAI.VertexCover.Machine.OverlayMachine.basePoly line 51
  7. def OAI.VertexCover.Machine.OverlayMachine.rowsPoly line 54
  8. def OAI.VertexCover.Machine.OverlayMachine.pairReverse line 58
  9. def OAI.VertexCover.Machine.OverlayMachine.reverse line 64
  10. def OAI.VertexCover.Machine.OverlayMachine.relation line 67
  11. def OAI.VertexCover.Machine.OverlayMachine.pairReversePoly line 72
  12. def OAI.VertexCover.Machine.OverlayMachine.reversePoly line 89
  13. def OAI.VertexCover.Machine.OverlayMachine.relationPoly line 99
  14. theorem OAI.VertexCover.Machine.OverlayMachine.lookup_port line 112
  15. theorem OAI.VertexCover.Machine.OverlayMachine.pairReverse_source line 121
  16. theorem OAI.VertexCover.Machine.OverlayMachine.reverse_source line 141
  17. theorem OAI.VertexCover.Machine.OverlayMachine.relation_source line 152
  18. def OAI.VertexCover.Machine.OverlayMachine.poly line 184