OAI/Combinatorics/VariableWL/Recipe.lean

GitHub source file

41 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VariableWL.Computation.Stack.Procedure.length_fast line 8
  2. theorem OAI.VariableWL.Computation.Stack.Procedure.add_fast line 26
  3. theorem OAI.VariableWL.Computation.Stack.Procedure.subtract_fast line 48
  4. theorem OAI.VariableWL.Computation.Stack.Procedure.reverse line 70
  5. theorem OAI.VariableWL.Computation.Stack.Procedure.append line 88
  6. theorem OAI.VariableWL.Computation.Stack.Procedure.drop line 111
  7. abbrev OAI.VariableWL.Computation.Stack.Recipe.Env line 135
  8. def OAI.VariableWL.Computation.Stack.Recipe.cons line 137
  9. structure OAI.VariableWL.Computation.Stack.Recipe.Certified line 139
  10. def OAI.VariableWL.Computation.Stack.Recipe.reindex line 148
  11. def OAI.VariableWL.Computation.Stack.Recipe.input line 153
  12. def OAI.VariableWL.Computation.Stack.Recipe.literal line 159
  13. theorem OAI.VariableWL.Computation.Stack.Recipe.env_front line 165
  14. theorem OAI.VariableWL.Computation.Stack.Recipe.env_temp line 170
  15. theorem OAI.VariableWL.Computation.Stack.Recipe.env_cons line 175
  16. def OAI.VariableWL.Computation.Stack.Recipe.bind line 183
  17. def OAI.VariableWL.Computation.Stack.Recipe.headBranch line 213
  18. def OAI.VariableWL.Computation.Stack.Recipe.test line 232
  19. theorem OAI.VariableWL.Computation.Stack.Recipe.test_value line 235
  20. def OAI.VariableWL.Computation.Stack.Recipe.length line 240
  21. def OAI.VariableWL.Computation.Stack.Recipe.add line 245
  22. def OAI.VariableWL.Computation.Stack.Recipe.subtract line 250
  23. def OAI.VariableWL.Computation.Stack.Recipe.multiply line 255
  24. def OAI.VariableWL.Computation.Stack.Recipe.reverse line 261
  25. def OAI.VariableWL.Computation.Stack.Recipe.append line 266
  26. def OAI.VariableWL.Computation.Stack.Recipe.drop line 271
  27. def OAI.VariableWL.Computation.Stack.Recipe.lookup line 276
  28. def OAI.VariableWL.Computation.Stack.Recipe.foldValue line 288
  29. def OAI.VariableWL.Computation.Stack.Recipe.foldTime line 292
  30. def OAI.VariableWL.Computation.Stack.Recipe.frame line 296
  31. theorem OAI.VariableWL.Computation.Stack.Recipe.frame_front line 299
  32. theorem OAI.VariableWL.Computation.Stack.Recipe.frame_index line 303
  33. theorem OAI.VariableWL.Computation.Stack.Recipe.frame_acc line 307
  34. def OAI.VariableWL.Computation.Stack.Recipe.foldInputs line 310
  35. theorem OAI.VariableWL.Computation.Stack.Recipe.frame_env line 313
  36. theorem OAI.VariableWL.Computation.Stack.Recipe.frame_initial line 321
  37. theorem OAI.VariableWL.Computation.Stack.Recipe.frame_step line 326
  38. theorem OAI.VariableWL.Computation.Stack.Recipe.frame_finish line 335
  39. def OAI.VariableWL.Computation.Stack.Recipe.foldBody line 353
  40. theorem OAI.VariableWL.Computation.Stack.Recipe.iterate_foldBody line 357
  41. def OAI.VariableWL.Computation.Stack.Recipe.fold line 368