OAI/Computability/DepthThree/TapeConvolve.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.DepthThreeLowerBound.TapeConvolve.WorkState line 10
2. abbrev OAI.DepthThreeLowerBound.TapeConvolve.State line 11
3. def OAI.DepthThreeLowerBound.TapeConvolve.work line 13
4. def OAI.DepthThreeLowerBound.TapeConvolve.program line 17
5. def OAI.DepthThreeLowerBound.TapeConvolve.start line 20
6. def OAI.DepthThreeLowerBound.TapeConvolve.done line 21
7. def OAI.DepthThreeLowerBound.TapeConvolve.cost line 23
8. theorem OAI.DepthThreeLowerBound.TapeConvolve.runs_convolve line 25
9. theorem OAI.DepthThreeLowerBound.TapeConvolve.program_done line 75