OAI/Computability/VertexCover/Machines/NatLog.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.VertexCover.Machine.Logarithm.State line 42
2. abbrev OAI.VertexCover.Machine.Logarithm.enc line 43
3. def OAI.VertexCover.Machine.Logarithm.body line 45
4. def OAI.VertexCover.Machine.Logarithm.result line 47
5. def OAI.VertexCover.Machine.Logarithm.bodyPoly line 48
6. theorem OAI.VertexCover.Machine.Logarithm.run line 55
7. def OAI.VertexCover.Machine.Logarithm.poly line 81
8. def OAI.VertexCover.Machine.Poly.natLog2 line 89