OAI/Computability/VertexCover/Machines/BoundedBinary.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.VertexCover.Machine.Poly.natMin line 44
2. abbrev OAI.VertexCover.Machine.CappedBinary.State line 51
3. abbrev OAI.VertexCover.Machine.CappedBinary.enc line 52
4. def OAI.VertexCover.Machine.CappedBinary.step line 54
5. def OAI.VertexCover.Machine.CappedBinary.stepPoly line 57
6. theorem OAI.VertexCover.Machine.CappedBinary.fold_bound line 67
7. def OAI.VertexCover.Machine.CappedBinary.foldPoly line 77
8. theorem OAI.VertexCover.Machine.CappedBinary.min_bit line 89
9. theorem OAI.VertexCover.Machine.CappedBinary.foldr line 93
10. def OAI.VertexCover.Machine.Poly.decodeBounded line 103