OAI/Computability/Scheduling/Polynomial.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ThreeMachine.StackCompiler.Poly line 11
  2. theorem OAI.ThreeMachine.StackCompiler.Poly.lift line 17
  3. theorem OAI.ThreeMachine.StackCompiler.Poly.of_le line 20
  4. theorem OAI.ThreeMachine.StackCompiler.Poly.const line 23
  5. theorem OAI.ThreeMachine.StackCompiler.Poly.base line 26
  6. theorem OAI.ThreeMachine.StackCompiler.Poly.size line 29
  7. theorem OAI.ThreeMachine.StackCompiler.Poly.add line 32
  8. theorem OAI.ThreeMachine.StackCompiler.Poly.mul line 35
  9. theorem OAI.ThreeMachine.StackCompiler.Poly.pow line 38
  10. theorem OAI.ThreeMachine.StackCompiler.Poly.sub line 41
  11. theorem OAI.ThreeMachine.StackCompiler.Poly.max line 44
  12. def OAI.polyRuleNames line 51
  13. def OAI.polyCostHead line 160
  14. def OAI.polyExprName line 169
  15. def OAI.synthPoly line 172