Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Predicate Calculus: BasicsCovers the basics of predicate calculus, including propositions, formulas, terms, and semantic evaluation.
Differential Equations: Part 2Explores Peano's existence theorem, compactness properties, uniqueness of solutions, Ascoli-Arzela theorem, and ripeness in differential equations.
Hitting Probabilities: Markov ChainsCovers hitting probabilities in Markov chains with disjoint subsets, the function h(i), theorems, proofs, and expected time to hit calculations.
