OAI/Computability/DepthThree/TapeConvolutionPrepare.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.DepthThreeLowerBound.TapeConvolutionPrepare.CopyState line 10
2. abbrev OAI.DepthThreeLowerBound.TapeConvolutionPrepare.AddState line 11
3. abbrev OAI.DepthThreeLowerBound.TapeConvolutionPrepare.FillState line 12
4. abbrev OAI.DepthThreeLowerBound.TapeConvolutionPrepare.State line 13
5. def OAI.DepthThreeLowerBound.TapeConvolutionPrepare.copies line 15
6. def OAI.DepthThreeLowerBound.TapeConvolutionPrepare.addition line 19
7. def OAI.DepthThreeLowerBound.TapeConvolutionPrepare.filling line 22
8. def OAI.DepthThreeLowerBound.TapeConvolutionPrepare.program line 25
9. def OAI.DepthThreeLowerBound.TapeConvolutionPrepare.start line 28
10. def OAI.DepthThreeLowerBound.TapeConvolutionPrepare.done line 29
11. theorem OAI.DepthThreeLowerBound.TapeConvolutionPrepare.runs_prepare line 31
12. theorem OAI.DepthThreeLowerBound.TapeConvolutionPrepare.program_done line 90