Supplementary Material for 'Nine Chapters of Analytic Number Theory'

2020-01-05T14:06:34Z (GMT) by Eberl, Manuel

A table connecting the theorems from Apostol's ‘Introduction to Analytic Number Theory’ to their formalised counterparts in Isabelle/HOL, and listing precisely which parts of the book have and have not been formalised.