Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{eberl:LIPIcs:2019:11071, author = {Manuel Eberl}, title = {{Nine Chapters of Analytic Number Theory in Isabelle/HOL}}, booktitle = {10th International Conference on Interactive Theorem Proving (ITP 2019)}, pages = {16:116:19}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771221}, ISSN = {18688969}, year = {2019}, volume = {141}, editor = {John Harrison and John O'Leary and Andrew Tolmach}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/11071}, URN = {urn:nbn:de:0030drops110714}, doi = {10.4230/LIPIcs.ITP.2019.16}, annote = {Keywords: Isabelle, theorem proving, analytic number theory, number theory, arithmetical function, Dirichlet series, prime number theorem, Dirichlet's theorem,} }
Keywords:  Isabelle, theorem proving, analytic number theory, number theory, arithmetical function, Dirichlet series, prime number theorem, Dirichlet's theorem,  
Collection:  10th International Conference on Interactive Theorem Proving (ITP 2019)  
Issue Date:  2019  
Date of publication:  05.09.2019  
Supplementary Material:  The proof developments in the Archive of Formal Proofs (AFP) that this work refers to are listed in the bibliography. Additionally, a precise overview of what material from the book has been formalised and which theorems in the book correspond to which theorems in the formalisation can be found at https://doi.org/10.5281/zenodo.3262266. 