Keskin, A. (2023). A Formalization of Martingales in Isabelle/HOL (Version 1.0.0) [Computer software]