OAI/Probability/CriticalPercolation/Exploration/PhaseFrontier.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.LazyDFS.PhaseFrontier line 18
2. lemma OAI.CriticalPercolation.LazyDFS.phaseFrontier_pop line 24
3. lemma OAI.CriticalPercolation.LazyDFS.phaseFrontier_closed line 43
4. lemma OAI.CriticalPercolation.LazyDFS.phaseFrontier_opened line 55
5. lemma OAI.CriticalPercolation.LazyDFS.empty_phaseFrontier_closed line 74
6. theorem OAI.CriticalPercolation.LazyDFS.phase_success_or_closed line 87
7. theorem OAI.CriticalPercolation.LazyDFS.compile_append_of_success line 130