Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{pak_et_al:LIPIcs.ITP.2022.26, author = {P\k{a}k, Karol and Kaliszyk, Cezary}, title = {{Formalizing a Diophantine Representation of the Set of Prime Numbers}}, booktitle = {13th International Conference on Interactive Theorem Proving (ITP 2022)}, pages = {26:126:8}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959772525}, ISSN = {18688969}, year = {2022}, volume = {237}, editor = {Andronick, June and de Moura, Leonardo}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2022/16735}, URN = {urn:nbn:de:0030drops167350}, doi = {10.4230/LIPIcs.ITP.2022.26}, annote = {Keywords: DPRM theorem, Polynomial reduction, prime numbers} }
Keywords:  DPRM theorem, Polynomial reduction, prime numbers  
Collection:  13th International Conference on Interactive Theorem Proving (ITP 2022)  
Issue Date:  2022  
Date of publication:  03.08.2022  
Supplementary Material: 
Formalization can be found at: Software (Formalization): http://clinformatik.uibk.ac.at/cek/itp2022/ 