@inproceedings{ying2022formalization,
	title={{A {F}ormalization of {D}oob's {M}artingale {C}onvergence {T}heorems in mathlib}}, 
	author={Degenne, Rémy and Ying, Kexing},
	year={2022},
	eprint={2212.05578},
	archivePrefix={arXiv},
	booktitle= {Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs},
	publisher={Association for Computing Machinery, New York, United States}
}

@misc{Degenne_Ying_2022, 
	title={probability.martingale.basic - mathlib}, 
	note = {\url{https://leanprover-community.github.io/mathlib_docs/probability/martingale/basic.html}, Last Accessed: 15 Feb 2024}, 
	journal={Lean Mathematical Library - mathlib}, 
	year={2022},
	author={Degenne, Rémy and Ying, Kexing}
} 

@book{Grimmett_Stirzaker_2020, 
	place={Oxford}, 
	title={Probability and Random Processes}, 
	publisher={Oxford University Press}, 
	author={Grimmett, Geoffrey and Stirzaker, David},
	year={2020}} 
	
@article{Martingales-AFP,
  author  = {Ata Keskin},
  title   = {Martingales},
  journal = {Archive of Formal Proofs},
  month   = {November},
  year    = {2023},
  note    = {\url{https://isa-afp.org/entries/Martingales.html},
             Formal proof development},
  ISSN    = {2150-914x},
}

@mastersthesis{keskin2023formalization,
      title={A {F}ormalization of {M}artingales in {I}sabelle/{H}{O}{L}},
      author={Ata Keskin},
      type={Bachelor's Thesis},
      year={2023},
      eprint={2311.06188},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      school={Technical University of Munich}
}

@book{durrett2019probability,
  title={Probability: Theory and Examples},
  author={Durrett, R.},
  isbn={9781108473682},
  lccn={2018047195},
  series={Cambridge Series in Statistical and Probabilistic Mathematics},
  url={https://books.google.de/books?id=b22MDwAAQBAJ},
  year={2019},
  publisher={Cambridge University Press}
}

@inproceedings{hoelzl2011measuretheory,
  author       = {Johannes H{\"o}lzl and Armin Heller},
  title        = {Three {C}hapters of {M}easure {T}heory in {Isabelle/HOL}},
  year         = {2011},
  pages        = {135-151},
  editor       = {Marko C. J. D. van Eekelen and Herman Geuvers and Julien Schmaltz and Freek Wiedijk},
  booktitle    = {Interactive Theorem Proving (ITP 2011)},
  series       = {LNCS},
  volume       = {6898},
  isbn={978-3-642-22863-6},
  doi={10.1007/978-3-642-22863-6_12}
}
