Hitting Probabilities: Markov ChainsCovers hitting probabilities in Markov chains with disjoint subsets, the function h(i), theorems, proofs, and expected time to hit calculations.
Theorems in AnalysisCovers the Meyers-Serrin theorem in analysis, discussing the conditions for functions in different spaces.
Continuous Time Markov ChainsCovers the basic theory for continuous time Markov chains and discusses communication, hitting probabilities, recurrence, and transience.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.