@article{beukers,
author = {Beukers, Frits},
title = {A Note on the Irrationality of $\zeta(2)$ and $\zeta(3)$},
journal = {Bulletin of the London Mathematical Society},
volume = {11},
number = {3},
pages = {268--272},
doi = {10.1112/blms/11.3.268},
url = {https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/blms/11.3.268},
eprint = {https://londmathsoc.onlinelibrary.wiley.com/doi/pdf/10.1112/blms/11.3.268},
year = {1979}
}

@incollection{apery,
     author = {Ap\'ery, Roger},
     title = {Irrationalit\'e de $\zeta 2$ et $\zeta 3$},
     booktitle = {Journ\'ees Arithm\'etiques de Luminy},
     series = {Ast\'erisque},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {61},
     year = {1979},
     pages = {11--13}
}

@misc{mahboubi,
    title={A Formal Proof of the Irrationality of $\zeta(3)$},
    author={Assia Mahboubi and Thomas Sibut-Pinote},
    year={2019},
    eprint={1912.06611},
    archivePrefix={arXiv},
    primaryClass={cs.LO},
    url={https://arxiv.org/abs/1912.06611}
}

@misc{filaseta,
  title="Math 785: Transcendental Number Theory (Lecture Notes, Part 4)",
  author="Michael Filaseta",
  year="2011",
  url="http://people.math.sc.edu/filaseta/gradcourses/Math785/Math785Notes4.pdf"
}

@article{afp_primes1,
  author  = {Manuel Eberl and Lawrence C. Paulson},
  title   = {The Prime Number Theorem},
  journal = {Archive of Formal Proofs},
  month   = sep,
  year    = 2018,
  note    = {\url{http://isa-afp.org/entries/Prime_Number_Theorem.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{afp_primes2,
  author  = {Manuel Eberl},
  title   = {Elementary Facts About the Distribution of Primes},
  journal = {Archive of Formal Proofs},
  month   = feb,
  year    = 2019,
  note    = {\url{http://isa-afp.org/entries/Prime_Distribution_Elementary.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

