OAI/Combinatorics/MatchingCount/Machines/TreeLanguage.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MatchingFPRAS.RegisterStructured.loop_nil line 10
  2. lemma OAI.MatchingFPRAS.RegisterStructured.loop_step line 16
  3. inductive OAI.MatchingFPRAS.TreeLanguage.Program line 40
  4. def OAI.MatchingFPRAS.TreeLanguage.compile line 46
  5. inductive OAI.MatchingFPRAS.TreeLanguage.Eval line 52
  6. theorem OAI.MatchingFPRAS.TreeLanguage.compiles line 62
  7. def OAI.MatchingFPRAS.TreeLanguage.clear line 76
  8. def OAI.MatchingFPRAS.TreeLanguage.copy line 77
  9. def OAI.MatchingFPRAS.TreeLanguage.cons line 78
  10. def OAI.MatchingFPRAS.TreeLanguage.split line 79
  11. lemma OAI.MatchingFPRAS.TreeLanguage.clear_eval line 80
  12. lemma OAI.MatchingFPRAS.TreeLanguage.copy_eval line 83
  13. lemma OAI.MatchingFPRAS.TreeLanguage.cons_eval line 87
  14. lemma OAI.MatchingFPRAS.TreeLanguage.split_eval line 91