OAI/Computability/VertexCover/Machines/NatPath.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.Machine.NatPathMachine.search line 46
2. def OAI.VertexCover.Machine.NatPathMachine.searchPoly line 50
3. theorem OAI.VertexCover.Machine.NatPathMachine.search_forget line 56
4. def OAI.VertexCover.Machine.NatPathMachine.edgeTest line 68
5. def OAI.VertexCover.Machine.NatPathMachine.edgeTestPoly line 73
6. theorem OAI.VertexCover.Machine.NatPathMachine.edgeTest_source line 84
7. def OAI.VertexCover.Machine.NatPathMachine.path line 101
8. def OAI.VertexCover.Machine.NatPathMachine.pathPoly line 104
9. theorem OAI.VertexCover.Machine.NatPathMachine.path_source line 110