Hitting Probabilities: Markov ChainsCovers hitting probabilities in Markov chains with disjoint subsets, the function h(i), theorems, proofs, and expected time to hit calculations.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.