Published June 29, 2019
| Version v1
Other
Open
Supplementary Material for 'Nine Chapters of Analytic Number Theory'
Description
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.
Files
Files
(28.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:91dbfc61740ddebc011325ddcab365ea
|
28.6 kB | Download |