OAI/Computability/VertexCover/Machines/ListSearch.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.VertexCover.Machine.foldl_bits_le line 43
2. def OAI.VertexCover.Machine.Poly.foldNonincreasing line 51
3. def OAI.VertexCover.Machine.Poly.listAnd line 65
4. def OAI.VertexCover.Machine.Poly.listAny line 70
5. def OAI.VertexCover.Machine.Poly.listIsEmpty line 78
6. def OAI.VertexCover.Machine.ListCompare.step line 84
7. theorem OAI.VertexCover.Machine.ListCompare.result line 87
8. def OAI.VertexCover.Machine.ListCompare.poly line 101
9. def OAI.VertexCover.Machine.Poly.listEq line 117
10. def OAI.VertexCover.Machine.Poly.rawEq line 135