OAI/Computability/DepthThree/TapeFill.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.DepthThreeLowerBound.TapeFill.pushProgram line 10
2. theorem OAI.DepthThreeLowerBound.TapeFill.runs_push line 15
3. abbrev OAI.DepthThreeLowerBound.TapeFill.FillState line 34
4. def OAI.DepthThreeLowerBound.TapeFill.fillProgram line 36
5. def OAI.DepthThreeLowerBound.TapeFill.fillStart line 40
6. def OAI.DepthThreeLowerBound.TapeFill.fillDone line 41
7. theorem OAI.DepthThreeLowerBound.TapeFill.runs_fill line 43
8. theorem OAI.DepthThreeLowerBound.TapeFill.fill_done line 76