OAI/Probability/DirectionalWalk/BridgeKernels.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.DirectionalZeroOne.InCountWindow line 12
  2. lemma OAI.DirectionalZeroOne.windowCommonLaw_atom line 15
  3. lemma OAI.DirectionalZeroOne.windowCommonLaw_ae_window line 49
  4. def OAI.DirectionalZeroOne.pairBridgeLaw line 60
  5. lemma OAI.DirectionalZeroOne.pairBridgeLaw_probability line 65
  6. instance OAI.DirectionalZeroOne.bridgeListLaw_finite line 75
  7. lemma OAI.DirectionalZeroOne.pairBridgeLaw_atom line 82
  8. def OAI.DirectionalZeroOne.chunkHeight line 101
  9. def OAI.DirectionalZeroOne.pairBridgeKernel line 104
  10. lemma OAI.DirectionalZeroOne.pairBridgeKernel_markov line 110
  11. lemma OAI.DirectionalZeroOne.map_graph_atom line 117
  12. lemma OAI.DirectionalZeroOne.map_graph_fst line 127
  13. lemma OAI.DirectionalZeroOne.window_reference_ac line 133