OAI/Probability/CriticalPercolation/Exploration/LocalNode.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.CriticalPercolation.OrderedQuery.LocalNode line 21
2. def OAI.CriticalPercolation.OrderedQuery.coord line 23
3. def OAI.CriticalPercolation.OrderedQuery.algorithm line 25
4. def OAI.CriticalPercolation.OrderedQuery.raw line 28
5. lemma OAI.CriticalPercolation.OrderedQuery.tagged_algorithm line 31
6. lemma OAI.CriticalPercolation.OrderedQuery.tagged_raw line 35
7. lemma OAI.CriticalPercolation.OrderedQuery.trace_algorithm line 41
8. lemma OAI.CriticalPercolation.OrderedQuery.bits_trace_algorithm line 46
9. lemma OAI.CriticalPercolation.OrderedQuery.index_mem_trace_algorithm line 51
10. lemma OAI.CriticalPercolation.OrderedQuery.mem_trace_algorithm_self line 57
11. lemma OAI.CriticalPercolation.OrderedQuery.trace_raw line 70
12. lemma OAI.CriticalPercolation.OrderedQuery.index_mem_trace_raw line 74
13. lemma OAI.CriticalPercolation.OrderedQuery.mem_bits_trace_raw line 81
14. lemma OAI.CriticalPercolation.OrderedQuery.trace_raw_append line 92
15. def OAI.CriticalPercolation.OrderedQuery.combined line 97
16. lemma OAI.CriticalPercolation.OrderedQuery.combined_valid line 100
17. lemma OAI.CriticalPercolation.OrderedQuery.combined_tagged line 104
18. lemma OAI.CriticalPercolation.OrderedQuery.trace_combined line 107
19. lemma OAI.CriticalPercolation.OrderedQuery.fresh_local_node line 113