OAI/Computability/SpaceSimulation/Epoch/Uniform.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.Fifths.Tour.Runnable line 11
  2. theorem OAI.Fifths.Tour.Runnable.strideOf line 30
  3. theorem OAI.Fifths.Tour.Runnable.totalOf line 33
  4. theorem OAI.Fifths.Tour.Runnable.bOf line 36
  5. theorem OAI.Fifths.Tour.Runnable.widthOf line 38
  6. theorem OAI.Fifths.Tour.Runnable.powFit line 41
  7. theorem OAI.Fifths.Tour.Runnable.powersFit line 45
  8. theorem OAI.Fifths.Tour.Runnable.mOf line 50
  9. theorem OAI.Fifths.Tour.Runnable.last_bit line 55
  10. def OAI.Fifths.Tour.Runnable.replayCode line 67
  11. theorem OAI.Fifths.Tour.Runnable.replay_comp line 69
  12. theorem OAI.Fifths.Tour.Runnable.makeV line 123
  13. theorem OAI.Fifths.Tour.Runnable.colOf line 128
  14. theorem OAI.Fifths.Tour.Runnable.epochOf line 131
  15. theorem OAI.Fifths.Tour.Runnable.headOf line 135
  16. theorem OAI.Fifths.Tour.Runnable.proposalOf line 146
  17. theorem OAI.Fifths.Tour.Runnable.ready line 157