OAI/Probability/CriticalPercolation/Exploration/IncidenceSearch.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.CriticalPercolation.IncidenceSearch.State line 16
  2. def OAI.CriticalPercolation.IncidenceSearch.State.closed line 22
  3. def OAI.CriticalPercolation.IncidenceSearch.State.open line 23
  4. def OAI.CriticalPercolation.IncidenceSearch.Available line 25
  5. def OAI.CriticalPercolation.IncidenceSearch.compile line 28
  6. lemma OAI.CriticalPercolation.IncidenceSearch.compile_valid line 35
  7. def OAI.CriticalPercolation.IncidenceSearch.Good line 45
  8. lemma OAI.CriticalPercolation.IncidenceSearch.good_closed line 50
  9. lemma OAI.CriticalPercolation.IncidenceSearch.good_open line 63
  10. lemma OAI.CriticalPercolation.IncidenceSearch.terminal_cluster line 80
  11. lemma OAI.CriticalPercolation.IncidenceSearch.compile_terminal line 100