OAI/Computability/DepthThree/TapeHornerMultiply.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.DepthThreeLowerBound.TapeHornerMultiply.Workspace line 13
  2. abbrev OAI.DepthThreeLowerBound.TapeHornerMultiply.WorkState line 23
  3. abbrev OAI.DepthThreeLowerBound.TapeHornerMultiply.State line 24
  4. def OAI.DepthThreeLowerBound.TapeHornerMultiply.work line 26
  5. def OAI.DepthThreeLowerBound.TapeHornerMultiply.program line 29
  6. def OAI.DepthThreeLowerBound.TapeHornerMultiply.start line 32
  7. def OAI.DepthThreeLowerBound.TapeHornerMultiply.done line 33
  8. def OAI.DepthThreeLowerBound.TapeHornerMultiply.cost line 35
  9. theorem OAI.DepthThreeLowerBound.TapeHornerMultiply.program_done line 38
  10. theorem OAI.DepthThreeLowerBound.TapeHornerMultiply.runs_multiply line 40