OAI/Probability/CriticalPercolation/Exploration/Initial.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.CriticalPercolation.LazyDFS.compile_sound line 18
  2. lemma OAI.CriticalPercolation.LazyDFS.reachable_mem_of_closed line 50
  3. def OAI.CriticalPercolation.LazyDFS.initial line 60
  4. lemma OAI.CriticalPercolation.LazyDFS.initial_frontier line 63
  5. lemma OAI.CriticalPercolation.LazyDFS.initial_consistent line 71
  6. def OAI.CriticalPercolation.LazyDFS.search line 78
  7. theorem OAI.CriticalPercolation.LazyDFS.search_decides line 82
  8. theorem OAI.CriticalPercolation.LazyDFS.search_reads_nodup line 103