OAI/Probability/CriticalPercolation/Exploration/TargetSearch.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.CriticalPercolation.LazyDFS.targetSearch line 20
  2. theorem OAI.CriticalPercolation.LazyDFS.targetSearch_moments line 24
  3. def OAI.CriticalPercolation.LazyDFS.GoodDarts line 39
  4. def OAI.CriticalPercolation.LazyDFS.mapDart line 42
  5. def OAI.CriticalPercolation.LazyDFS.mapState line 44
  6. lemma OAI.CriticalPercolation.LazyDFS.target_hit_map line 48
  7. lemma OAI.CriticalPercolation.LazyDFS.mapState_mem line 61
  8. lemma OAI.CriticalPercolation.LazyDFS.mapState_closed line 74
  9. lemma OAI.CriticalPercolation.LazyDFS.mapState_opened line 78
  10. lemma OAI.CriticalPercolation.LazyDFS.mapDart_ends line 83
  11. lemma OAI.CriticalPercolation.LazyDFS.push_mapTarget line 90