OAI/Computability/Scheduling/ListParserCosts.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ThreeMachine.StackCompiler.Binary.readNat_listHeader line 8
  2. theorem OAI.ThreeMachine.StackCompiler.Binary.readAtSuffix line 11
  3. theorem OAI.ThreeMachine.StackCompiler.Realizer.time_pred line 18
  4. theorem OAI.ThreeMachine.StackCompiler.Uniform.time_binaryReadList line 22
  5. theorem OAI.ThreeMachine.StackCompiler.Uniform.time_binaryReadEdge_le line 28
  6. theorem OAI.ThreeMachine.StackCompiler.Costs.volumeNatBools line 43
  7. theorem OAI.ThreeMachine.StackCompiler.Costs.binaryReadNatEncoded line 51
  8. theorem OAI.ThreeMachine.StackCompiler.Costs.binaryReadEdgeCost line 57
  9. theorem OAI.ThreeMachine.StackCompiler.Costs.binaryReadEdgeEncoded line 67
  10. theorem OAI.ThreeMachine.StackCompiler.Costs.binaryReadListEncoded line 102
  11. theorem OAI.ThreeMachine.StackCompiler.Costs.binaryNatList line 137
  12. theorem OAI.ThreeMachine.StackCompiler.Costs.binaryEdgeList line 181