@inproceedings{eblp24,
  author="Eberl, Manuel and Bordg, Anthony and Paulson, Lawrence C. and Li, Wenda",
  title="Formalising Half of a Graduate Textbook on Number Theory",
  year="2024",
  publisher="Leibniz International Proceedings in Informatics",
  booktitle =	"15th International Conference on Interactive Theorem Proving (ITP 2024)",
  editor =	"Bertot, Yves and Kutsia, Temur and Norrish, Michael",
  address =	"Dagstuhl, Germany",
  doi =		"10.4230/LIPIcs.ITP.2024.40"
  pages =	"40:1--40:7"
}