OAI/Computability/VertexCover/Machines/Lazy.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.Machine.LazyMachine.output line 44
2. def OAI.VertexCover.Machine.LazyMachine.reverse line 46
3. def OAI.VertexCover.Machine.LazyMachine.relation line 53
4. def OAI.VertexCover.Machine.LazyMachine.reversePoly line 57
5. def OAI.VertexCover.Machine.LazyMachine.relationPoly line 74
6. theorem OAI.VertexCover.Machine.LazyMachine.reverse_source line 87
7. theorem OAI.VertexCover.Machine.LazyMachine.relation_source line 109
8. def OAI.VertexCover.Machine.LazyMachine.poly line 141